Projects in Awesome Lists by parapluu
A curated list of projects in awesome lists by parapluu .
https://github.com/parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 15 May 2025
https://github.com/parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 13 May 2025
https://github.com/parapluu/encore
The Encore compiler.
compiler encore programming-language
Last synced: 01 Sep 2025
https://github.com/parapluu/lock_benchmarking
Benchmarks for locking algorithms as well as implementations of locking algorithms.
Last synced: 27 Apr 2025
https://github.com/parapluu/monadic-typechecker
Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
Last synced: 27 Apr 2025
https://github.com/parapluu/language-encore
Atom syntax highlighting for the Encore language
Last synced: 12 Jun 2025