-
how-to-specify-it Public
Raw materials used in "How to Specify it!", John Hughes, Trends in Functional Programming 2019.
-
quickcheck Public
Forked from nick8325/quickcheckAutomatic testing of Haskell programs.
Haskell Other UpdatedApr 29, 2021 -
-
quickcheck-state-machine Public
Forked from advancedtelematic/quickcheck-state-machineTest monadic programs using state machine based models
-
-
-
-
jesse Public
Forked from dmitriid/jessejesse (JSon Schema Erlang) is an implementation of a json schema validator for Erlang.
-
gen_hypar Public
Forked from gburd/gen_hyparErlang implementation of the HyPARView peer-sampling service
Erlang Other UpdatedNov 19, 2014 -
-
-
registry_eqc Public
Development of a grouped registry spec, including killing processes and negative tests
Erlang Other UpdatedOct 16, 2014 -
sext Public
Forked from uwiger/sextSortable Erlang Term Serialization
Erlang Apache License 2.0 UpdatedJun 10, 2014
{{ message }}