Stars
A crate for estimating the cardinality of distinct elements in a stream or dataset.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Tower middleware to automatically reload your web browser during development
A serializer for JUnit reports, used by cargo-nextest
An extremely fast Python linter and code formatter, written in Rust.
High-performance and concurrent string interning for general purpose use.
A PF2e Conversion of Rise of the Runelords for Foundry VTT
The feature-rich, portable async channel library
Practical mutation testing and fault injection for C and C++
Rust keyboard firmware library with layers, macros, real-time keymap editing, and wireless(BLE) support
Arena based tree 🌲 structure by using indices instead of reference counted pointers
User interface engine for native apps & WebAssembly sites
Safe, portable, high performance compute (GPGPU) kernels.
Creusot helps you prove your code is correct in an automated fashion.
A massively parallel, high-level programming language
Ergonomic, versatile, strong types wrapping MIDI 2.0 message data.
A modern computer algebra library for Python and Rust.
This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors of the GLL algorithm. As of 29 May 2024, this repo is frozen…
Render HTML and CSS with Servo, Taffy, and Vello
Copy/paste detector for programming source code.
Optimizes static websites for best user experience and best Core Web Vitals scores.