PARAPLUU

icon indicating a website link http://www.it.uu.se/research/group/languages

icon location Uppsala icon location Programming Language group, Division of Computing Science, Uppsala University

Results 4 repositories owned by PARAPLUU

Concuerror

329
Stars
42
Forks
Watchers

Concuerror is a stateless model checking tool for Erlang programs.

verified publisher icon parapluu

nifty

140
Stars
29
Forks
Watchers

Erlang NIF Wrapper Generator

verified publisher icon parapluu

encore

42
Stars
26
Forks
Watchers

The Encore compiler.

verified publisher icon parapluu

lock_benchmarking

23
Stars
4
Forks
Watchers

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

verified publisher icon parapluu