Skip to content

Navigation Menu

Sign in
Appearance settings
parapluu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@parapluu

PARAPLUU

Programming Language group, Division of Computing Science, Uppsala University

Popular repositories Loading

  1. Concuerror Concuerror Public

    Concuerror is a stateless model checking tool for Erlang programs.

    Erlang 346 43

  2. nifty nifty Public

    Erlang NIF Wrapper Generator

    Erlang 144 28

  3. encore encore Public

    The Encore compiler.

    C++ 44 24

  4. lock_benchmarking lock_benchmarking Public

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

    C++ 25 4

  5. monadic-typechecker monadic-typechecker Public

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

    Haskell 5 2

  6. nifty-contiki nifty-contiki Public

    Nifty Contiki Port

    Erlang 3 4

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 11 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.