Empowering everyone to build reliable and efficient software
Go library for Datalog-style logical reasoning and domain modeling
A friendly language for building type-safe, scalable systems!
GritQL is a query language for searching, linting, and modifying code
Tool for safe ergonomic Rust/C++ interop driven from existing C++
A static, type inferred and embeddable language written in Rust