Ignas Vyšniauskas yfyf

• Vilnius

Pinned Loading

1. Asynchronous pi-calculus in Erlang

   Erlang 14 2

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

   2

3. Coq-verified statements about lambda calculi.

   Coq 4 2

4. an algebraic Effect in Idris for concurrent resource management

   C 1

5. Categories, Arrows, Monads and some Haskell

   3