Explore @parapluu Open Source projects

PARAPLUU (@parapluu)

parapluu

Stars
544
Global Org. Rank 22,317 (Top 8 %)
Registered about 10 years ago
Most used languages

Erlang
57.1 %

C++
28.6 %

Haskell
14.3 %
Location 🇸🇪 Sweden
Country Total Rank 586
Country Ranking

Erlang
11

Haskell
102

C++
190

Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

nifty

Erlang NIF Wrapper Generator

encore

The Encore compiler.

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