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