Aya is a proof assistant and dependently-typed programming language. It supports advanced type-theoretic features.
Read more
Tag: java
Jpsonic – web-based media streamer
Jpsonic supports Subsonic-compatible clients as well as DLNA, UPnP, and OpenHome devices.
Read more
Alhena – graphical browser for exploring Gemini
Alhena is a graphical browser for exploring Gemini, Gopher, Spartan, and Nex spaces.
Read more
Apache HugeGraph – highly scalable graph database
Apache HugeGraph is a fast, highly scalable graph database designed for storing and querying billions of vertices and edges.
Read more
ArcadeDB – multi-model database management system
ArcadeDB is a multi-model database management system that supports multiple query languages and protocols.
Read more
TRIfA Material – desktop messaging client
TRIfA Material is a desktop messaging client using the encrypted peer-to-peer Tox protocol.
Read more
Apache Geode – distributed, in-memory data management platform
Apache Geode is a distributed, in-memory data management platform designed for applications that need low-latency access to data.
Read more
Infinispan – distributed, in-memory database and data grid
Infinispan is a distributed, in-memory database and data grid for storing, managing, and processing key/value data across scalable clusters.
Read more
ph-css – Java library for parsing, representing, modifying, and writing CSS stylesheets
ph-css is a Java library for parsing, representing, modifying, and writing CSS stylesheets.
Read more
Grimmory – self-hosted digital library
Grimmory is a self-hosted digital library for managing ebooks, documents, comics, and audiobooks.
Read more
OpenSpecimen – biobank and biospecimen management platform
OpenSpecimen is a biobank and biospecimen management platform for biorepositories and research organisations.
Read more
Open Hospital – health information management system
Open Hospital is a health information system for managing patient records, hospital admissions, billing and medicines.
Read more
VCell – computational cell biology modelling and simulation
VCell models cellular systems with spatial and stochastic simulations, reaction-diffusion models and biochemical network analysis.
Read more
OpenMetadata – metadata management and data observability platform
OpenMetadata provides metadata discovery, data lineage, quality testing, profiling, governance, and collaboration across data systems.
Read more
Bahmni – hospital management and electronic medical records
Bahmni is a hospital management system combining electronic medical records, patient registration, billing and inventory.
Read more
Automatiko – workflow automation toolkit
Automatiko creates workflow-based services with BPMN, DMN and Serverless Workflow, supporting human tasks, retries and cloud functions.
Read more
Operaton – business process automation platform
Operaton executes BPMN processes with task management, monitoring, REST APIs and compatibility tools for migrating from Camunda 7.
Read more
CIB seven – BPMN workflow and process automation platform
CIB seven runs BPMN workflows with process monitoring, user administration, task management, REST APIs and embedded integration.
Read more
11 Excellent Free and Open Source Java Natural Language Processing Tools
Java remains one of the most widely used programming languages. We explore the best free and open source Java based NLP tools.
Read more
7 Best Free and Open Source Java Linter Tools
This article picks some useful tools to help you fix Java code.
Read more