Pinned Loading

1. pierl pierl Public

   Asynchronous pi-calculus in Erlang

   Erlang 14 2

2. 8-myths-of-erlang 8-myths-of-erlang Public

   This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.

   2

3. knuton/la-girafe-sportive knuton/la-girafe-sportive Public

   Coq-verified statements about lambda calculi.

   Coq 4 2

4. idris-concstate-effect idris-concstate-effect Public

   an algebraic Effect in Idris for concurrent resource management

   C 1

5. cat-arrows cat-arrows Public

   Categories, Arrows, Monads and some Haskell

   3

6. parsexml parsexml Public

   Forked from maxlapshin/parsexml

   super simple XML to proplist parser

   Erlang 5 1