PARAPLUU (@parapluu)
Guthub

parapluu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    549
  • Global Org. Rank 22,580 (Top 8 %)
  • Registered over 10 years ago
  • Most used languages
    Erlang
         57.1 %
    C++
         28.6 %
    Haskell
         14.3 %
  • Location πŸ‡ΈπŸ‡ͺ Sweden
  • Country Total Rank 586
  • Country Ranking
    Erlang
         11
    Haskell
         99
    C++
         200

Top repositories

1

Concuerror

Concuerror is a stateless model checking tool for Erlang programs.
Erlang
333
star
2

nifty

Erlang NIF Wrapper Generator
Erlang
141
star
3

encore

The Encore compiler.
C++
43
star
4

lock_benchmarking

Benchmarks for locking algorithms as well as implementations of locking algorithms.
C++
23
star
5

monadic-typechecker

Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"
Haskell
5
star
6

nifty-contiki

Nifty Contiki Port
Erlang
3
star
7

target

Erlang
2
star