The Wayback Machine - https://web.archive.org/web/20220615072544/https://github.com/parapluu
Skip to content
@parapluu

PARAPLUU

Programming Language group, Division of Computing Science, Uppsala University

Popular repositories

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

    Erlang 296 41

  2. nifty Public

    Erlang NIF Wrapper Generator

    Erlang 134 27

  3. encore Public

    The Encore compiler.

    C++ 40 27

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

    C++ 16 4

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

    Haskell 5 3

  6. Nifty Contiki Port

    Erlang 3 5

Repositories

Top languages

Loading…

Most used topics

Loading…