parapluu/nifty-contiki parapluu/nifty-contiki

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Erlang
  • License
    Other
  • Created over 10 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
parapluu/nifty-contiki
github

parapluu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Nifty Contiki Port

More 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

target

Erlang
2
star