liamoc/emuwire
sshh
composable monadic random value generators
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
sshh
A beginner's theorem prover
An intensely interactive, graphical theorem prover based on natural deduction
Well-typed, minimalist web-framework for GHC Haskell