https://github.com/rkirsling/modallogic

Modal Logic Playground

directed-graph modal-logic semantics

Last synced: 06 Apr 2025

https://github.com/rkirsling/formula-parser

A parser class for simple formulae.

ast formula operator-precedence parser

Last synced: 13 Apr 2025

https://github.com/rkirsling/dlox

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

ast dart interpreter language lox

Last synced: 13 Apr 2025

https://github.com/rkirsling/cclox

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

bytecode interpreter language lox modern-cpp vm

Last synced: 13 Apr 2025

https://github.com/rkirsling/logic-grammars

A warehouse repo of grammar files for symbolic logics.

Last synced: 24 Mar 2025

https://github.com/rkirsling/rkirsling.github.com

A simple personal website.

Last synced: 24 Mar 2025