Empowering everyone to build reliable and efficient software
Tool for safe ergonomic Rust/C++ interop driven from existing C++
A friendly language for building type-safe, scalable systems!
Go library for Datalog-style logical reasoning and domain modeling
A massively parallel, high-level programming language