Pinned Loading

1. elo-coq elo-coq Public

   Formalization of the Elo language in Coq alongside a proof that the language is free from data races.

   Coq 1

2. aria aria Public

   The compiler for the Aria language using Lex, Yacc, LLVM and POSIX Threads.

   LLVM 8

3. monga-compiler monga-compiler Public

   A compiler for Monga (C subset) using Lex, Yacc and LLVM.

   LLVM 2