Stars
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.
OptiKey - Full computer control and speech with your eyes
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Python bindings for FFmpeg - with complex filtering support
EDMA is an interactive terminal app for managing multiple embedded databases system at once with powerful byte deserializer support.
A toolkit for higher-dimensional diagram rewriting.
The safest library on the block. Calling the bsod function will cause a blue screen of death.