parapluu/encore

Stars
43
Rank 645,449 (Top 13 %)
Language
C++
License
BSD 3-Clause "New...
Created over 10 years ago
Updated almost 5 years ago

parapluu/encore

parapluu

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The Encore compiler.

Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

nifty

Erlang NIF Wrapper Generator

lock_benchmarking

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

monadic-typechecker

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

nifty-contiki

Nifty Contiki Port

target