Pinned Loading

1. modallogic modallogic Public

   Modal Logic Playground

   JavaScript 379 57

2. dlox dlox Public

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

   Dart 8 1

3. formula-parser formula-parser Public

   A parser class for simple formulae.

   JavaScript 12 5

4. cclox cclox Public

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

   C++ 7 1