rjmh

Pinned Repositories

code_mesh
Language:Erlang1 1 00
gen_hypar
Erlang implementation of the HyPARView peer-sampling service
Language:Erlang0 2 00
how-to-specify-it
Raw materials used in "How to Specify it!", John Hughes, Trends in Functional Programming 2019.
Language:Haskell1 1 00
jesse
jesse (JSon Schema Erlang) is an implementation of a json schema validator for Erlang.
Language:Erlang1 1 00
kv_eqc
Language:Erlang0 1 020
q
Language:C0 1 00
quickcheck
Automatic testing of Haskell programs.
Language:Haskell0 0 00
quickcheck-state-machine
Test monadic programs using state machine based models
Language:Haskell1 1 01
registry
Language:Erlang0 1 00
registry_eqc
Development of a grouped registry spec, including killing processes and negative tests
Language:Erlang0 1 00

rjmh's Repositories

rjmh/code_mesh
Language:Erlang1 1 00
rjmh/how-to-specify-it
Raw materials used in "How to Specify it!", John Hughes, Trends in Functional Programming 2019.
Language:Haskell1 1 00
rjmh/jesse
jesse (JSon Schema Erlang) is an implementation of a json schema validator for Erlang.
Language:Erlang1 1 00
rjmh/quickcheck-state-machine
Test monadic programs using state machine based models
Language:Haskell1 1 01
rjmh/gen_hypar
Erlang implementation of the HyPARView peer-sampling service
Language:Erlang0 2 00
rjmh/kv_eqc
Language:Erlang0 1 020
rjmh/q
Language:C0 1 00
rjmh/quickcheck
Automatic testing of Haskell programs.
Language:Haskell0 0 00
rjmh/registry
Language:Erlang0 1 00
rjmh/registry_eqc
Development of a grouped registry spec, including killing processes and negative tests
Language:Erlang0 1 00
rjmh/sext
Sortable Erlang Term Serialization
Language:Erlang1 0
rjmh/shapes
Closed shapes puzzle
Language:Haskell1 0
rjmh/trees
Language:Erlang1 0