vihdzp

miratope-rs

A tool for building and visualizing polytopes.

colimiter

An inverse limiter.

polytope_new

Abstract polytopes in Lean!

pointillism

A compositional library for musical composition.

winit

Attempt at fixing MacOS file dialog bug. Credits go to the winit devs and PolyMeilex.

bevy_egui

A plugin for Egui integration into Bevy

brainfuck-game

A fun little Discord game based on Brainfuck

cayley

Some experiments with the Cayley-Dickson construction

nmath

Algebraic structures as Rust traits

polytope

Abstract polytopes, in Lean!

synthtest

test

xmath

In very early development.

bevy

A refreshingly simple data-driven game engine built in Rust

functor

A timestretch and gating audio plugin

hfs

Hereditarily finite sets in Rust.

lean

Lean Theorem Prover

lean-liquid

💧 Liquid Tensor Experiment

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lyon

2D graphics rendering on the GPU in rust using path tessellation.

mirlo

An open source audio distribution and patronage platform

mit-license

Hosted MIT License with details controlled through this repo

nalgebra

Linear algebra library for Rust.

num-bigint

Big integer types for Rust

offbuilder-v2

Generates OFF files for convex polytopes.

pss

Formalizing PrSS and PSS

qhull-js

JavaScript port of qhull

Run-Stats

Logs stats for runs on GD levels.

triangular-nim

vscode-lean

An extension for VS Code which provides support for the Lean language.

vst3-sys

Raw Bindings to the VST3 API