Stars
A proof assistant for higher-dimensional type theory
Computational Geometry library written in Rust
Tank (Table Abstraction & Navigation Kit): the Rust data layer
Blazingly fast retained layout engine for Bevy ECS.
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Minecraft game engine for massive custom events
Font introspection, complex text shaping and glyph rendering.
A framework-agnostic Rust/WASM + WebGL2 Rendering library, compatible with calling from both Rust and JavaScript on the web.
A Cross platform library for transferring and storing fluids, items and energy
The library mod behind team resourceful mods and more.
The code used to create and update the Open Australian Legal Corpus, the first and only multijurisdictional open corpus of Australian legislative and judicial documents.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Lightweight framework for easy and efficient code generation
An ongoing attempt to re-engineer LuaJIT from scratch
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
Flat message buffers with direct mapping to Rust types without packing/unpacking
Code for simulations on YouTube
An arbitrary-precision differentiable programming language.
Graph data structure library aspiring to be convenient, versatile, correct and performant.