Stars
Modern embedded framework, using Rust and async.
A topic-centric list of HQ open datasets.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A Privacy-first, Cross-platform Text Expander written in Rust
Bottom-up memory-safety for assembly language using symbolic execution
Command-line sampling profiler for macOS, Linux, and Windows
An axiom-free formalization of category theory in Coq for personal study and practical work
This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.
List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features
Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.
A programming language with static memory management based on λ-calculus
egg is a flexible, high-performance e-graph library
🐦 Friendly little instrumentation profiler for Rust 🦀
Fast and portable executable to run your Elm tests
Distill information about amendments to the Oregon Revised Statutes.
Procedural generation of tree models in blender
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A wide linear algebra crate for games and graphics.
Fast function to parse strings into double (binary64) floating-point values, enforces the RFC 7159 (JSON standard) grammar: 4x faster than strtod
minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)
📦Filter for compiling Elm files using webassets