Runtime 'live witness' of two types being the same
A high-performance, pure Rust library and CLI for full-atom protein side-chain packing using the DREIDING force field, Goldstein+Split DEE, and tree-decomposition DP—with native protein-ligand and protein-nucleic acid interface support.
A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)
A toolkit to quickly search for cis-acting regulatory elements using the PLACE database
AWS CloudFormation Guard is an open-source general-purpose policy-as-code evaluation tool. It provides developers with a simple-to-use, yet powerful and expressive domain-specific language (DSL) to define policies and enables developers to validate JSON- or YAML- formatted structured data with those policies.
Effective type-based pseudodynamic dispatch to impls, enums and typeid
Self-hosted Rust agent: OpenAI-compatible inference, rich tools, SQLite state, optional web PWA and Discord
A collection of types for implementing CIS-2 Concordium Token Standard.
Benchmarking framework with process isolation, bootstrap statistics, algebraic verification, and CI integration
FluxBench CLI: Supervisor process, benchmark filtering, output generation, and worker orchestration
Worker runtime for FluxBench: Bencher struct, high-precision timing (RDTSC), and memory allocation tracking
Zero-copy IPC protocol for FluxBench supervisor-worker communication