PARAPLUU
Programming Language group, Division of Computing Science, Uppsala University
Popular repositories Loading
-
Concuerror
Concuerror PublicConcuerror is a stateless model checking tool for Erlang programs.
-
lock_benchmarking
lock_benchmarking PublicBenchmarks for locking algorithms as well as implementations of locking algorithms.
-
monadic-typechecker
monadic-typechecker PublicArtefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
-
Repositories
Showing 10 of 11 repositories
- mce-typed Public
parapluu/mce-typed’s past year of commit activity - monadic-typechecker Public
Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
parapluu/monadic-typechecker’s past year of commit activity - lock_benchmarking Public
Benchmarks for locking algorithms as well as implementations of locking algorithms.
parapluu/lock_benchmarking’s past year of commit activity - target Public
parapluu/target’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…