Repositories list

• aris

  Public
  Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

  Rust

  •

  GNU General Public License v3.0

  •2•10•15•5•Updated Dec 17, 2024Dec 17, 2024

• LEGUP

  Public
  Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

  puzzlelogic-puzzleslogic

  Java

  •

  GNU General Public License v3.0

  •82•34•51•6•Updated Dec 6, 2024Dec 6, 2024

• NanoNav

  Public
  Python

  •

  MIT License

  •1•1•0•0•Updated Dec 2, 2024Dec 2, 2024

• Willow

  Public
  A web-based tool for creating and validating truth trees

  TypeScript

  •

  MIT License

  •6•8•10•4•Updated Sep 10, 2024Sep 10, 2024

• AMS

  Public
  Abacus Machine Simulator (Originally known as Your Abacus Machine Simulator)

  Java

  •

  Other

  •3•1•0•2•Updated May 8, 2024May 8, 2024

• TruthTree_solver

  Public
  TypeScript

  •1•0•0•0•Updated Apr 23, 2024Apr 23, 2024

• logician

  Public
  A boolean algebra expression simplifier

  Rust

  •1•0•0•0•Updated Apr 23, 2024Apr 23, 2024

• HASSPathways

  Public
  An interactive web application that allows students to navigate through their selected HASS integrated pathway courses

  Vue

  •

  MIT License

  •8•2•6•5•Updated Apr 12, 2024Apr 12, 2024

• LogicalBox

  Public
  Computability and Logic project with Rom and Kate

  TeX

  •1•0•0•0•Updated Apr 29, 2023Apr 29, 2023

• turing-machine-to-fol

  Public
  C++

  •1•0•0•0•Updated Apr 28, 2023Apr 28, 2023

• VisualLogic-Web

  Public
  JavaScript

  •

  GNU General Public License v3.0

  •0•1•0•1•Updated Jan 6, 2023Jan 6, 2023

• LegupWeb

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •0•2•1•0•Updated Aug 24, 2022Aug 24, 2022

• bris

  Public
  JavaScript

  •

  MIT License

  •1•0•0•0•Updated Aug 16, 2022Aug 16, 2022

• existential-graphs

  Public
  JavaScript

  •1•0•0•0•Updated Jun 7, 2022Jun 7, 2022

• TFTrees

  Public
  An interface for creating proofs with Truth Trees

  Java

  •

  BSD 2-Clause "Simplified" License

  •5•0•1•0•Updated May 3, 2022May 3, 2022

• sequent-proof-interface-name

  Public
  Project for PHIL-4140 at RPI

  TypeScript

  •

  GNU Affero General Public License v3.0

  •1•0•0•0•Updated Apr 26, 2022Apr 26, 2022

• Monty-Hall

  Public
  Website for learning about the how people approach the Monty Hall problem

  PHP

  •3•3•0•0•Updated Aug 21, 2021Aug 21, 2021

• Argument-Diagram

  Public
  Argument diagram tool built using joint.js

  JavaScript

  •

  MIT License

  •5•0•0•0•Updated Aug 19, 2021Aug 19, 2021

• water-jug-search

  Public
  An interactive website where you can visualize the search process for a computer solving the Water Jug Problem.

  JavaScript

  •

  MIT License

  •1•0•0•0•Updated Jun 8, 2021Jun 8, 2021

• OwenTMS

  Public
  Owen Turing Machine Simulator

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jun 3, 2021Jun 3, 2021

• Resolute

  Public
  GUI for Resolution Problem Solving

  Python

  •

  MIT License

  •1•0•0•0•Updated May 14, 2021May 14, 2021

• DPTrees

  Public
  Draw trees using Davis-Putnam Algorithm

  C++

  •1•0•0•0•Updated May 10, 2021May 10, 2021

• gui_resolution

  Public
  Standalone logical resolution application for Computability and Logic RPI course final project.

  Python

  •

  MIT License

  •2•0•0•0•Updated May 6, 2021May 6, 2021

• STT-Solver

  Public
  An automated theorem prover for short truth tables in python

  Python

  •1•0•0•1•Updated May 5, 2021May 5, 2021

• TruthFunctionalExpansion

  Public
  Python

  •1•0•0•0•Updated May 5, 2021May 5, 2021

• stroop-tester

  Public
  react app that demonstrates the stroop effect

  JavaScript

  •1•0•0•0•Updated May 5, 2021May 5, 2021

• Proof-Generator

  Public
  Python

  •1•0•0•0•Updated May 3, 2021May 3, 2021

• aris-java

  Public
  Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

  interfacenatural-deductionformal-proofs

  Java

  •

  GNU General Public License v3.0

  •3•4•0•0•Updated Jun 30, 2020Jun 30, 2020

• python-ND-APG

  Public
  A Natural Deduction Automated Proof Generator in python

  Python

  •1•0•0•0•Updated Apr 28, 2020Apr 28, 2020

• HLD-TT

  Public
  Generate a truth tree for a given argument

  Python

  •

  MIT License

  •4•0•0•1•Updated Apr 29, 2019Apr 29, 2019