ivanperez-keera / forks-fallingblocksLinks
A mirror of fallingblocks (with minor updates)
☆12Updated 10 years ago
Alternatives and similar repositories for forks-fallingblocks
Users that are interested in forks-fallingblocks are comparing it to the libraries listed below
Sorting:
- Interactive-diagrams☆39Updated 10 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆25Updated 6 months ago
- A categorical framework for circuit construction☆31Updated 9 years ago
- Unicode alternatives for common functions and operators☆36Updated 4 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Updated 9 years ago
- Haskell XML library☆27Updated 6 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆31Updated 3 years ago
- Yer another array library☆41Updated 7 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Catchy combinators for HUnit☆37Updated 8 months ago
- TODO☆23Updated 10 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 9 years ago
- Model-view-controller☆64Updated 3 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- ☆34Updated 14 years ago
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 6 years ago
- probabilistic programming in Haskell☆17Updated 9 years ago
- Haskell distributed parallel Haskell☆37Updated 8 years ago
- The Spire Programming Language☆59Updated 11 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Classic games recreated in netwire☆95Updated 8 years ago
- A class for types that can be converted to a hash value☆105Updated 2 weeks ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 11 years ago
- Typed DSLs for sorting☆20Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago