Pinned Loading

1. modallogic modallogic Public

   Modal Logic Playground

   JavaScript 366 55

2. dlox dlox Public

   A Dart port of jlox, the Lox language's AST interpreter (http://www.craftinginterpreters.com/).

   Dart 7 1

3. formula-parser formula-parser Public

   A parser class for simple formulae.

   JavaScript 10 5

4. cclox cclox Public

   A C++ port of clox, the Lox language's bytecode VM (http://www.craftinginterpreters.com/).

   C++ 6