Repositories list

• Concuerror

  Public
  Concuerror is a stateless model checking tool for Erlang programs.

  testingdebuggingerlang+ 16

  testingdebuggingerlangotptoolverificationsystematic-testingtravis-badgeconcuerrorautomatic+ 9

  Erlang

  •

  BSD 2-Clause "Simplified" License

  •4343 forks•348348 stars•1616 issues•11 pull request•Updated Jun 24, 2026Jun 24, 2026

• encore

  Public
  The Encore compiler.

  programming-languagecompilerencore

  programming-languagecompilerencore

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •2424 forks•4444 stars•5858 issues•1010 pull requests•Updated Feb 23, 2026Feb 23, 2026

• mce-typed

  Public
  TypeScript

  •66 forks•00 stars•44 issues•22 pull requests•Updated Feb 10, 2026Feb 10, 2026

• nifty

  Public
  Erlang NIF Wrapper Generator

  erlang

  erlang

  Erlang

  •

  Other

  •2828 forks•144144 stars•22 issues•33 pull requests•Updated Jul 8, 2022Jul 8, 2022

• monadic-typechecker

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

  Haskell

  •

  MIT License

  •22 forks•55 stars•00 issues•00 pull requests•Updated Oct 22, 2019Oct 22, 2019

• lock_benchmarking

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

  C++

  •55 forks•2626 stars•00 issues•00 pull requests•Updated Mar 6, 2018Mar 6, 2018

• easyinterface

  Public
  A web frontend for the Encore toolchain

  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •55 forks•00 stars•00 issues•00 pull requests•Updated May 25, 2017May 25, 2017

• language-encore

  Public
  Atom syntax highlighting for the Encore language

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 8, 2017Mar 8, 2017

• nifty-contiki

  Public
  Nifty Contiki Port

  Erlang

  •

  Other

  •44 forks•33 stars•00 issues•00 pull requests•Updated Feb 15, 2017Feb 15, 2017

• target

  Public
  Erlang

  •

  Other

  •00 forks•22 stars•00 issues•00 pull requests•Updated Feb 7, 2017Feb 7, 2017

• parapluu.github.io

  Public
  Parapluu's research webpage

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 3, 2015Jun 3, 2015