Pinned Loading

1. aria aria Public

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

   LLVM 8

2. monga-compiler monga-compiler Public

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

   LLVM 2

3. elo elo Public

   OCaml 1

4. aria-ocaml aria-ocaml Public

   Aria compiler in OCaml.

   Makefile

5. elo-coq elo-coq Public

   Coq 1