Stars
Fine-grained parallelism with sub-nanosecond overhead in Zig
A Zig Wasm Project to Document The Way You Can Create a Small WASM Binary and Use It With React & NodeJS
Reading the linearizability paper with TLA+
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
the-moisrex / liburing-hdr-only
Forked from axboe/liburingThe header only implementation of the liburing library
📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.
a multi-language bindings generator for rust
PruningRadixTrie - 1000x faster Radix trie for prefix search & auto-complete
📈 A small, fast chart for time series, lines, areas, ohlc & bars
The FastLanes Compression Layout: Decoding >100 Billion Integers per Second with Scalar Code
In-place translation of TLA⁺ symbols into Unicode, in Neovim
Alternative to ngrok for localhost asynchronous web development (e.g. webhooks). No account required.
A massively parallel, high-level programming language
bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.
A tool for gathering profiling and benchmarking information for Gradle builds
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.
An experimental serialization system written in Rust
A Python toolbox for conformal prediction research on deep learning models, using PyTorch.
Utilities and example programs for use with XDP
Cloud Native Data Plane (CNDP) is a collection of user space libraries to accelerate packet processing for cloud applications using AF_XDP sockets as the primary I/O..