rjmh

quickcheck-state-machine. Test monadic programs using state machine based models

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

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

code_mesh. Erlang