A Git-compatible VCS that is both simple and powerful

A modern editor with a backend written in Rust.

TypeDB: Built for systems, not records

Verified Rust for low-level systems code

Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tuning.

Library implementing type inference/checking functionality based on the Lean theorem prover

A sentence segmentation library with wide language support optimized for speed and utility.