Bramhub

https://docs.google.com/spreadsheets/d/1uqM-Tg2GsQKJa4C5sgoPpsJ-QkIv8I0VgckpIV9nZlk/edit?usp=sharing

Pinned Repositories

aris
Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
Language:Rust9 9 572
aris-java
Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.
Language:Java4 5 02
Bram-File-Format
An XML based file format for use in Bramhub software projects
2 8 01
HASSPathways
An interactive web application that allows students to navigate through their selected HASS integrated pathway courses
Language:Vue2 5 78
LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
Language:Java33 3 29382
LegupWeb
Language:TypeScript2 6 10
Monty-Hall
Website for learning about the how people approach the Monty Hall problem
Language:PHP3 1 22
Nutchanon-Equivalence-ATP
A program for proving the equivalence of logical statements in C++
Language:C++1 7 00
VisualLogic
Program to express formal logic visually using existential graphs
Language:C#4 3 90
Willow
A web-based tool for creating and validating truth trees
Language:TypeScript8 4 516

Bramhub's Repositories

Bram-Hub/LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
Language:Java33 3 29382
Bram-Hub/aris
Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
Language:Rust9 9 572
Bram-Hub/Willow
A web-based tool for creating and validating truth trees
Language:TypeScript8 4 516
Bram-Hub/aris-java
Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.
Language:Java4 5 02
Bram-Hub/Monty-Hall
Website for learning about the how people approach the Monty Hall problem
Language:PHP3 1 22
Bram-Hub/HASSPathways
An interactive web application that allows students to navigate through their selected HASS integrated pathway courses
Language:Vue2 5 78
Bram-Hub/LegupWeb
Language:TypeScript2 6 10
Bram-Hub/AMS
Abacus Machine Simulator (Originally known as Your Abacus Machine Simulator)
Language:Java1 7 03
Bram-Hub/python-ND-APG
A Natural Deduction Automated Proof Generator in python
Language:Python1 7 01
Bram-Hub/VisualLogic-Web
Language:JavaScript1 3 10
Bram-Hub/NanoNav
Language:Python01
Bram-Hub/TFTrees
An interface for creating proofs with Truth Trees
Language:Java0 8 15
Bram-Hub/Argument-Diagram
Argument diagram tool built using joint.js
Language:JavaScript
Bram-Hub/bris
Language:JavaScript
Bram-Hub/DPTrees
Draw trees using Davis-Putnam Algorithm
Language:C++1 0
Bram-Hub/existential-graphs
Language:JavaScript2 0
Bram-Hub/gui_resolution
Standalone logical resolution application for Computability and Logic RPI course final project.
Language:Python1 0
Bram-Hub/HLD-TT
Generate a truth tree for a given argument
Language:Python7 01
Bram-Hub/LogicalBox
Computability and Logic project with Rom and Kate
Language:TeX0 0
Bram-Hub/logician
A boolean algebra expression simplifier
Language:Rust0 0
Bram-Hub/OwenTMS
Owen Turing Machine Simulator
Language:Java8 0
Bram-Hub/Proof-Generator
Bram-Hub/Resolute
GUI for Resolution Problem Solving
Language:Python1 0
Bram-Hub/sequent-proof-interface-name
Project for PHIL-4140 at RPI
Language:TypeScript0 0
Bram-Hub/stroop-tester
react app that demonstrates the stroop effect
Language:JavaScript1 0
Bram-Hub/STT-Solver
An automated theorem prover for short truth tables in python
Language:Python7 01
Bram-Hub/TruthFunctionalExpansion
Bram-Hub/TruthTree_solver
Bram-Hub/turing-machine-to-fol
Bram-Hub/water-jug-search
An interactive website where you can visualize the search process for a computer solving the Water Jug Problem.
Language:JavaScript