Skip to content

@parapluu PARAPLUU

Change the repository type filter

All

    Repositories list

    11 repositories

    • Concuerror

      Public
      Concuerror is a stateless model checking tool for Erlang programs.
      testingdebuggingerlang
      testingdebuggingerlangotptoolverificationsystematic-testingtravis-badgeconcuerrorautomatic
      Erlang
      •
      BSD 2-Clause "Simplified" License
      •43•343•16•1•Updated Apr 8, 2026Apr 8, 2026

    • encore

      Public
      The Encore compiler.
      programming-languagecompilerencore
      programming-languagecompilerencore
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •24•44•58•10•Updated Feb 23, 2026Feb 23, 2026

    • mce-typed

      Public
      TypeScript
      •6•0•4•2•Updated Feb 10, 2026Feb 10, 2026

    • nifty

      Public
      Erlang NIF Wrapper Generator
      erlang
      erlang
      Erlang
      •
      Other
      •28•142•2•3•Updated Jul 8, 2022Jul 8, 2022

    • monadic-typechecker

      Public
      Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
      Haskell
      •
      MIT License
      •2•5•0•0•Updated Oct 22, 2019Oct 22, 2019

    • lock_benchmarking

      Public
      Benchmarks for locking algorithms as well as implementations of locking algorithms.
      C++
      •4•25•0•0•Updated Mar 6, 2018Mar 6, 2018

    • easyinterface

      Public
      A web frontend for the Encore toolchain
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •5•0•0•0•Updated May 25, 2017May 25, 2017

    • language-encore

      Public
      Atom syntax highlighting for the Encore language
      MIT License
      •1•0•0•0•Updated Mar 8, 2017Mar 8, 2017

    • nifty-contiki

      Public
      Nifty Contiki Port
      Erlang
      •
      Other
      •4•3•0•0•Updated Feb 15, 2017Feb 15, 2017

    • target

      Public
      Erlang
      •
      Other
      •0•2•0•0•Updated Feb 7, 2017Feb 7, 2017

    • parapluu.github.io

      Public
      Parapluu's research webpage
      0•0•0•0•Updated Jun 3, 2015Jun 3, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.