Bramhub's repositories
Monty-Hall
Website for learning about the how people approach the Monty Hall problem
HASSPathways
An interactive web application that allows students to navigate through their selected HASS integrated pathway courses
python-ND-APG
A Natural Deduction Automated Proof Generator in python
Argument-Diagram
Argument diagram tool built using joint.js
gui_resolution
Standalone logical resolution application for Computability and Logic RPI course final project.
LogicalBox
Computability and Logic project with Rom and Kate
logician
A boolean algebra expression simplifier
sequent-proof-interface-name
Project for PHIL-4140 at RPI
stroop-tester
react app that demonstrates the stroop effect
STT-Solver
An automated theorem prover for short truth tables in python
water-jug-search
An interactive website where you can visualize the search process for a computer solving the Water Jug Problem.