Repos
19
Stars
4
Forks
2
Top Language
Haskell
Loading contributions...
Top Repositories
Simple solver for intuitionistic propositional logic
A modern, extensible and well-documented prettyprinter.
Slides for optimal reduction (WIP)
A mod for Unciv, designed to give the player a distinctly unfair advantage
Procedural noise generation library for Rust.
Repositories
19A modern, extensible and well-documented prettyprinter.
Slides for optimal reduction (WIP)
Simple solver for intuitionistic propositional logic
A mod for Unciv, designed to give the player a distinctly unfair advantage
Procedural noise generation library for Rust.
A collection of Bevy assets, plugins, learning resources, and apps made by the community
RFC 4648-compliant Base64
(be)e-graphs in Haskell
Chapelure is a diagnostic library for Haskell
Sofia's weblog
Smash products, Wedge products, and other Pointed stuff
A program language
My custom prelude
No description provided.
No description provided.
A tilemap rendering crate for bevy which is more ECS friendly.
A quick, CI-enabled Bevy template repository.
A pleasant PostgreSQL database layer for Haskell
DFA and NFA