PARAPLUU

Programming Language group, Division of Computing Science, Uppsala University

Uppsala

Pinned Repositories

Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language:Erlang332 17 13941
easyinterface
A web frontend for the Encore toolchain
Language:JavaScript0 4 01
encore
The Encore compiler.
Language:C++43 14 36126
language-encore
Atom syntax highlighting for the Encore language
0 2 02
lock_benchmarking
Benchmarks for locking algorithms as well as implementations of locking algorithms.
Language:C++23 6 04
monadic-typechecker
Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
Language:Haskell5 3 03
nifty
Erlang NIF Wrapper Generator
Language:Erlang142 14 2029
nifty-contiki
Nifty Contiki Port
Language:Erlang3 5 05
parapluu.github.io
Parapluu's research webpage
0 3 00
target
Language:Erlang2 5 01

PARAPLUU's Repositories

parapluu/Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Language:Erlang332 17 13941
parapluu/nifty
Erlang NIF Wrapper Generator
Language:Erlang142 14 2029
parapluu/encore
The Encore compiler.
Language:C++43 14 36126
parapluu/lock_benchmarking
Benchmarks for locking algorithms as well as implementations of locking algorithms.
Language:C++23 6 04
parapluu/monadic-typechecker
Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
Language:Haskell5 3 03
parapluu/nifty-contiki
Nifty Contiki Port
Language:Erlang3 5 05
parapluu/target
Language:Erlang2 5 01
parapluu/easyinterface
A web frontend for the Encore toolchain
Language:JavaScript0 4 01
parapluu/language-encore
Atom syntax highlighting for the Encore language
0 2 02
parapluu/parapluu.github.io
Parapluu's research webpage
0 3 00
parapluu/mce-typed
Language:TypeScript4 84