PARAPLUU

PARAPLUU's repositories

Concuerror is a stateless model checking tool for Erlang programs.

Language:ErlangBSD-2-Clause339 15 139

Erlang NIF Wrapper Generator

Language:ErlangNOASSERTION142 13 20

The Encore compiler.

Language:C++BSD-3-Clause44 13 361

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

Language:C++25 60

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

Language:HaskellMIT5 20

Nifty Contiki Port

Language:ErlangNOASSERTION3 40

Language:ErlangNOASSERTION2 40

A web frontend for the Encore toolchain

Language:JavaScriptBSD-3-Clause030

Atom syntax highlighting for the Encore language

MIT010

Parapluu's research webpage

030

Language:TypeScript05 8