Robert Krook's repositories
quickcheck
Automatic testing of Haskell programs.
quickcheck-v1
The original QuickCheck implementation, from 2000!
effect-monad
Embeds effect systems in Haskell using 'parametric effect monads'
futhark-canny-edge-detection
Illustrates canny edge detection implemented in futhark.
embedded-pattern-matching
A language to demonstrate embedded pattern matching
fruitymesh
FruityMesh - The first completely connection-based open source mesh on top of Bluetooth Low Energy (4.1/5.0 or higher)
JUnitWorkShop
Workshop for JUnit
kudzu
coverage driven random testing framework
licentiate-thesis
Template for Licentiate and PhD theses at the department of CSE at Chalmers.
MicroHs
Tiny functional language implemented with combinators
starter-snake-python
A simple Battlesnake AI written in Python
syntactic
Generic representation and manipulation of abstract syntax
twee
An equational theorem prover based on Knuth-Bendix completion
type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)