PostgreSQL wire protocol implemented as a rust library.

Lean 4 programming language and theorem prover

MirDB: A Persistent Key-Value Store with Memcached protocol.

NeXTSTEP-like desktop environment for Linux

Rust / Wasm framework for creating reliable and efficient web applications

Factor programming language

A Multi-Raft implementation in Rust language.

A scalable, distributed, collaborative, document-graph database, for the realtime web

Streaming replication for SQLite.

Deskreen turns any device with a web browser into a secondary screen for your computer. ⭐️ Star to support our work!

🗻 Log-structured, embeddable key-value storage engine written in Rust

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

A good looking terminal emulator which mimics the old cathode display...

An open source python version of the Lindenmayer Systems.

Tiny Erlang VM

A fast, friendly, functional language.

Haskell implemented with combinators

An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

Cross-platform audio I/O library in pure Rust

A modern Prolog implementation written mostly in Rust.

API server and website for Hex

An interpreter for Rust's mid-level intermediate representation

REST API for any Postgres database

A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

🍜 A tasty Haskell web framework

Mirror of https://gitlab.redox-os.org/redox-os/redox

Frame profiler

A modern load testing tool, using Go and JavaScript

ripgrep recursively searches directories for a regex pattern while respecting your gitignore