Lists (1)
Starred repositories
7
stars
written in Haskell
Clear filter
Crucible is a library for symbolic simulation of imperative programs
Test monadic programs using state machine based models
Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal.
Luck -- A Language for Property-Based Generators