PARAPLUU

Programming Language group, Division of Computing Science, Uppsala University

Concuerror Public
Concuerror is a stateless model checking tool for Erlang programs.

Erlang 296 BSD-2-Clause 41 14 (2 issues need help) 1 Updated May 25, 2022
nifty Public
Erlang NIF Wrapper Generator

Erlang 134 27 1 3 Updated May 26, 2021
encore Public
The Encore compiler.

C++ 40 BSD-3-Clause 27 58 10 Updated Jan 29, 2020
monadic-typechecker Public
Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"

Haskell 5 MIT 3 0 0 Updated Oct 22, 2019
lock_benchmarking Public
Benchmarks for locking algorithms as well as implementations of locking algorithms.

C++ 16 4 0 0 Updated Mar 6, 2018
easyinterface Public
A web frontend for the Encore toolchain

JavaScript 0 BSD-3-Clause 6 0 0 Updated May 25, 2017
language-encore Public
Atom syntax highlighting for the Encore language

0 MIT 2 0 0 Updated Mar 8, 2017
nifty-contiki Public
Nifty Contiki Port

Erlang 3 5 0 0 Updated Feb 15, 2017
target Public

Erlang 2 1 0 0 Updated Feb 7, 2017
parapluu.github.io Public
Parapluu's research webpage

0 0 0 0 Updated Jun 3, 2015

Popular repositories