hashintel / hash

🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation

typedb / typedb

TypeDB: Built for systems, not records

skyzh / type-exercise-in-rust

Learn advanced Rust by building a type-safe, auto-vectorized database expression engine

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.