closure generator library
Non-linear arithmetic solver for OxiZ (CAD-based)
5G security algorithms — KDF, NIA1/2/3, NEA0/1/2/3, SUCI concealment per TS 33.501
Mathematical foundations for OxiZ SMT solver
Command-line wallet for RGB smart contracts on Bitcoin
Collection of the official RGB smart contract schemata
Collection of the official RGB smart contract schemata
A library to manipulate ManiaScript code
Titania celestial simulation crate for the MilkyWay SolarSystem workspace
Unity ScriptableObject manipulation in Rust