3 results found Sort:
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
Created
2010-06-01
829 commits to master branch, last one 16 days ago
Concuerror is a stateless model checking tool for Erlang programs.
Created
2014-04-04
2,401 commits to master branch, last one 14 days ago
A distributed unique ID generator inspired by Twitter's Snowflake, rewritten in python
Created
2021-01-03
36 commits to master branch, last one 6 months ago