Rule-based symbolic integration, based on Rubi.

Language model tokenization at GB/s

Session attach/detach for the terminal

Large-scale collision and birthday-spacings tests for pseudorandom number generators

A little fail-safe filesystem designed for microcontrollers

A UI layout engine written in Rust

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

A declarative configuration deployment tool

A prompt engineering functional programming language

Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.

Property-based testing library based on Reflective Generators

Completion-based I/O for Rust. No runtime, no hidden tasks.

A rust crate that provides a space efficient 𝛿-based CRDT implementation

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Gecko: a fast GLR parser with automatic syntax error recovery

A SQL extension for declarative data visualisation based on the Grammar of Graphics.

AnchorHash - A Scalable Consistent Hash

A simple and fast linear algebra library for games and graphics

AIStore: scalable storage for AI applications

WebAssembly Toolkit for Go

👾 The lightest signal library

High-performance time series downsampling algorithms for visualization

Interactive playground for exploring and sharing TLA+ specifications in the browser.

Reference code for the Slug Algorithm.

Property-based testing for web and terminal UIs

Sverchok

Topologic is a software modelling library enabling hierarchical and topological representations of architectural spaces, buildings and artefacts through non-manifold topology.

A python CAD programming library

Iosevka configuration to mimic the look and feel of Berkeley Mono as closely as possible.