- All languages
- Ada
- Adblock Filter List
- Agda
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Fortran
- FreeMarker
- Frege
- Go
- Groovy
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Mathematica
- Mercury
- Nim
- OCaml
- Objective-C
- PLpgSQL
- Perl
- Python
- Racket
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Smalltalk
- Standard ML
- TLA
- TeX
- TypeScript
- Zig
Starred repositories
libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…
Lockfiles for Maven. Pin your dependencies. Build with integrity.
DuckDB is an analytical in-process SQL database management system
JVector: the most advanced embedded vector search engine
Java platform support for Visual Studio Code for full featured Java development (edit-compile-debug & test cycle)
Transparent acceleration for Java NIO applications via UCX
A modern networking framework based on ucx for Java 19+
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Java implementations of several Machine Learning classification algorithms.
An exploration for running analytics on JDK Flight Recorder recordings
〰📺🔊 Synthesiser audio plugin for making music by drawing objects on an oscilloscope using audio.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
The financial transactions database designed for mission critical safety and performance.
A GDB-like debugger for programs running under Java Pathfinder
Git Server with CI/CD, Kanban, and Packages. Seamless integration. Unparalleled experience.
A collection of modern/faster/saner alternatives to common unix commands.
A library of material components for JavaFX
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
The many experiments that have led to Eve in its current form