- All languages
- Agda
- Alloy
- Asymptote
- Ballerina
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Flix
- GAP
- Gherkin
- Go
- Groovy
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Nix
- OCaml
- PHP
- Perl
- Pony
- Prolog
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Shell
- Standard ML
- Starlark
- TLA
- TeX
- TypeScript
- Zig
Starred repositories
An open-source AI agent that lives in your terminal.
Apache Jena, A free and open source Java framework for building Semantic Web and Linked Data applications.
JWorkflow is a light weight workflow library for Java
Flowset Control is a web application that provides administrative functionality for external BPM engines.
Data modeling and versioning language with automatic evolution derivation
Scalable, reliable, distributed storage system optimized for data analytics and object store workloads.
AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.
ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.
Infinispan is an open source data grid platform and highly scalable NoSQL cloud data store.
Providing a consistent live reload experience for any web application on the JVM.
OpenObserve is an open-source observability platform for logs, metrics, traces, and frontend monitoring. A cost-effective alternative to Datadog, Splunk, and Elasticsearch with 140x lower storage c…
MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.
Jar Jar Links is a utility that makes it easy to repackage Java libraries and embed them into your own distribution.
A Java version of simdjson, a high-performance JSON parser utilizing SIMD instructions
Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Lad…
A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others
header-only library to validate utf-8 strings at high speeds (using SIMD instructions)
Philippe Charles's LALR Parser Generator. It was used to build the Eclipse Java compiler, as well as many of IBM's product compilers.
A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic
Official specification for Token-Oriented Object Notation (TOON)