A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)

Sylvester the Cat's Common Lisp IDE

Alternative rust compiler (re-implementation)

Small Clojure interpreter, linter and formatter.

A scalable overlay networking tool with a focus on performance, simplicity and security

Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.

a VPN daemon

A Git-compatible VCS that is both simple and powerful

An idiomatic, lean, fast & safe pure Rust implementation of Git

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

A portable foreign-function interface library.

Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Lean 4 programming language and theorem prover

Run compilers interactively from your web browser and interact with the assembly

A simple single header library written in c99 for adjusting hardcoded parameters while debugging and fiddling around with values.

A fast data-driven routing library for Clojure/Script

Jane Street Capital's standard library overlay

Standard library for OCaml

Litex is a simple formal language Learnable in 2 hours, not 1 year. It scales formal reasoning in AI era.

Making parsing a breeze

Turso is an in-process SQL database, compatible with SQLite.

MirageOS is a library operating system that constructs unikernels

An absolutely-not-solid Emacs implementation (WIP)

Umka: a statically typed embeddable scripting language

wrap autotools configure scripts to build with Cosmopolitan Libc

F# language server using Language Server Protocol

Developer-first error tracking and performance monitoring