Popular repositories

1. Concuerror Concuerror Public

   Concuerror is a stateless model checking tool for Erlang programs.

   Erlang 330 43

2. nifty nifty Public

   Erlang NIF Wrapper Generator

   Erlang 141 29

3. encore encore Public

   The Encore compiler.

   C++ 42 26

4. lock_benchmarking lock_benchmarking Public

   Benchmarks for locking algorithms as well as implementations of locking algorithms.

   C++ 23 4

5. monadic-typechecker monadic-typechecker Public

   Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"

   Haskell 5 3

6. nifty-contiki nifty-contiki Public

   Nifty Contiki Port

   Erlang 3 5