Violeta Hernández's repositories
miratope-rs
A tool for building and visualizing polytopes.
polytope_new
Abstract polytopes in Lean!
pointillism
A compositional library for musical composition.
brainfuck-game
A fun little Discord game based on Brainfuck
bevy
A refreshingly simple data-driven game engine built in Rust
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.
qhull-js
JavaScript port of qhull
Run-Stats
Logs stats for runs on GD levels.
vscode-lean
An extension for VS Code which provides support for the Lean language.
vst3-sys
Raw Bindings to the VST3 API