3 results found Sort:

proper-testing
proper proper-testing
169
887
gpl-3.0
35
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
erlang codecov-badge release-badge erlang-versions-badge
Created 2010-06-01
831 commits to master branch, last one 23 days ago
parapluu
Concuerror parapluu
42
338
bsd-2-clause
15
Concuerror is a stateless model checking tool for Erlang programs.
otp tool erlang codecov testing automatic debugging concuerror travis-badge verification codecov-badge model-checker model-checking erlang-programs systematic-testing erlang-versions-badge concurrent-programming stateless-model-checking concurrent-erlang-programs
Created 2014-04-04
2,407 commits to master branch, last one 3 days ago
hjpotter92
sonyflake-py hjpotter92
11
35
mit
3
A distributed unique ID generator inspired by Twitter's Snowflake, rewritten in python
python codecov snowflake sonyflake travis-ci unique-id readthedocs id-generator codecov-badge readthedocs-badge
Created 2021-01-03
36 commits to master branch, last one 8 months ago