- Syracuse, NY
- https://mrieppel.net/
-
TruthTableGenerator Public
Generates truth tables for formulas of sentential logic
-
fretboard Public
A music theory app for visualizing chords and scales on a guitar's fretboard.
-
combinators Public
Takes second-order logic formulas and lambda terms and translates them into combinator terms
JavaScript MIT License UpdatedJun 11, 2024 -
forallxsyr Public
Syracuse edition of the forall x logic textbook
-
hazard Public
a javascript implementation of the dice game hazard
HTML GNU General Public License v3.0 UpdatedApr 12, 2023 -
FitchFX Public
Fitch proof constructor (using rules from my version of the forall x textbook)
-
fitchjs Public
Fitch style proof constructor
-
parse Public
Haskell program that will parse a formula of first order logic
Haskell UpdatedJan 30, 2023 -
LemmoNaDe Public
Lemmon style proof constructor (superseded by FitchJS)
-
fol Public
FOL Evaluator - a semantic calculator for first order logic