Stars
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Implementation of a multicircuit STARK in P3
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
a zero-knowledge proof-carrying code platform for Lean 4
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
A zero-knowledge Lean4 compiler and kernel
a Lean4 implementation of the IPLD format
A book about functional programming in Lean
Mathematical learnings with Lean, for those of us who wish we knew more of both!
Lean 3's obsolete mathematical components library: please use mathlib4
A toy implementation of socket programming for Lean 4.
"Many Awesome Retro Linux Emulators, Yay!" -- A bundle of gaming console emulators for the x86_64 Linux platform
Causal Inference for the Brave and True. A light-hearted yet rigorous approach to learning about impact estimation and causality.
Dart + NPM package with Dungeon World character, moves & other data
A Dungeon World character sheet app written with Flutter
An attempt to make good-looking homebrew documents for various roleplaying systems using XeTeX for typesetting.
A Small Template For RPG book
Python library for audio and music analysis
Godot Engine – Multi-platform 2D and 3D game engine
Bayesian Modeling and Probabilistic Programming in Python