Skip to content
@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 333 41

  2. nifty nifty Public

    Erlang NIF Wrapper Generator

    Erlang 143 29

  3. encore encore Public

    The Encore compiler.

    C++ 43 26

  4. lock_benchmarking lock_benchmarking Public

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

    C++ 23 4

  5. monadic-typechecker monadic-typechecker Public

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

    Haskell 5 3

  6. nifty-contiki nifty-contiki Public

    Nifty Contiki Port

    Erlang 3 5

Repositories

Showing 10 of 11 repositories
  • Concuerror Public

    Concuerror is a stateless model checking tool for Erlang programs.

    parapluu/Concuerror’s past year of commit activity
    Erlang 333 BSD-2-Clause 41 16 (2 issues need help) 1 Updated Oct 29, 2024
  • mce-typed Public
    parapluu/mce-typed’s past year of commit activity
    TypeScript 0 4 4 2 Updated Feb 6, 2024
  • nifty Public

    Erlang NIF Wrapper Generator

    parapluu/nifty’s past year of commit activity
    Erlang 143 29 2 3 Updated Jul 8, 2022
  • encore Public

    The Encore compiler.

    parapluu/encore’s past year of commit activity
    C++ 43 BSD-3-Clause 26 58 10 Updated Jan 29, 2020
  • monadic-typechecker Public

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

    parapluu/monadic-typechecker’s past year of commit activity
    Haskell 5 MIT 3 0 0 Updated Oct 22, 2019
  • lock_benchmarking Public

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

    parapluu/lock_benchmarking’s past year of commit activity
    C++ 23 4 0 0 Updated Mar 6, 2018
  • easyinterface Public Forked from abstools/easyinterface

    A web frontend for the Encore toolchain

    parapluu/easyinterface’s past year of commit activity
    JavaScript 0 BSD-3-Clause 6 0 0 Updated May 25, 2017
  • language-encore Public

    Atom syntax highlighting for the Encore language

    parapluu/language-encore’s past year of commit activity
    0 MIT 2 0 0 Updated Mar 8, 2017
  • nifty-contiki Public

    Nifty Contiki Port

    parapluu/nifty-contiki’s past year of commit activity
    Erlang 3 5 0 0 Updated Feb 15, 2017
  • target Public
    parapluu/target’s past year of commit activity
    Erlang 2 1 0 0 Updated Feb 7, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…