Beast code in Giters

rjmh's repositories

Language:Erlang1 10

Raw materials used in "How to Specify it!", John Hughes, Trends in Functional Programming 2019.

Language:HaskellMIT1 10

jesse (JSon Schema Erlang) is an implementation of a json schema validator for Erlang.

Language:ErlangApache-2.01 10

Test monadic programs using state machine based models

Language:HaskellNOASSERTION1 10

Erlang implementation of the HyPARView peer-sampling service

Language:ErlangNOASSERTION020

Language:ErlangNOASSERTION010

Language:C010

Automatic testing of Haskell programs.

Language:HaskellNOASSERTION000

Language:ErlangNOASSERTION010

Development of a grouped registry spec, including killing processes and negative tests

Language:ErlangNOASSERTION010

Sortable Erlang Term Serialization

Language:ErlangApache-2.0010

Closed shapes puzzle

Language:Haskell000

Language:ErlangNOASSERTION010