Popular repositories Loading

1. code_mesh code_mesh Public

   Erlang 1

2. jesse jesse Public

   Forked from dmitriid/jesse

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

   Erlang 1

3. quickcheck-state-machine quickcheck-state-machine Public

   Forked from advancedtelematic/quickcheck-state-machine

   Test monadic programs using state machine based models

   Haskell 1 1

4. how-to-specify-it how-to-specify-it Public

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

   Haskell 1

5. registry_eqc registry_eqc Public

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

   Erlang

6. sext sext Public

   Forked from uwiger/sext

   Sortable Erlang Term Serialization

   Erlang