mrieppel

Syracuse, NY

Pinned Repositories

combinators
Takes second-order logic formulas and lambda terms and translates them into combinator terms
Language:JavaScript00
FitchFX
Fitch proof constructor (using rules from my version of the forall x textbook)
Language:JavaScript5 2 01
fitchjs
Fitch style proof constructor
Language:JavaScript28 3 34
fol
FOL Evaluator - a semantic calculator for first order logic
Language:JavaScript8 1 01
forallxsyr
Syracuse edition of the forall x logic textbook
Language:TeX2 2 00
fretboard
A music theory app for visualizing chords and scales on a guitar's fretboard.
Language:HTML12 3 03
hazard
a javascript implementation of the dice game hazard
Language:HTML0 1 00
LemmoNaDe
Lemmon style proof constructor (superseded by FitchJS)
Language:JavaScript2 2 02
parse
Haskell program that will parse a formula of first order logic
Language:Haskell00
TruthTableGenerator
Generates truth tables for formulas of sentential logic
Language:JavaScript59 5 217

mrieppel/TruthTableGenerator
Generates truth tables for formulas of sentential logic
Language:JavaScript59 5 217
mrieppel/fitchjs
Fitch style proof constructor
Language:JavaScript28 3 34
mrieppel/fretboard
A music theory app for visualizing chords and scales on a guitar's fretboard.
Language:HTML12 3 03
mrieppel/fol
FOL Evaluator - a semantic calculator for first order logic
Language:JavaScript8 1 01
mrieppel/FitchFX
Fitch proof constructor (using rules from my version of the forall x textbook)
Language:JavaScript5 2 01
mrieppel/forallxsyr
Syracuse edition of the forall x logic textbook
Language:TeX2 2 00
mrieppel/LemmoNaDe
Lemmon style proof constructor (superseded by FitchJS)
Language:JavaScript2 2 02
mrieppel/combinators
Takes second-order logic formulas and lambda terms and translates them into combinator terms
Language:JavaScript00
mrieppel/hazard
a javascript implementation of the dice game hazard
Language:HTML0 1 00
mrieppel/parse
Haskell program that will parse a formula of first order logic
Language:Haskell00