GeezerVison is showing github.com — RAIR Lab
The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory at Rensselaer Polytechnic Institute (RPI) Research and development in the RAIR Lab ranges across a number of applied projects, as well as across many of the fundamental questions AI raises. Everything is to a high degree unified by the fact that the formalisms, tools, techniques, systems, etc. that underlie the lab's R&D are invariably based on reasoning.
Selmer Bringsjord - Director
(As of September 2026)
Pinned
Loading
The definitive DCEC theorem prover built on SNARK.
Java
4
1
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
Python
2
Website listing the talks given in the logic group
2
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
TypeScript
11
1
An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.
TypeScript
17
2
Parallel Verification of Propositional Natural-Deduction Proof Graphs
C++
3
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C++
Common Lisp
GDScript
Java
Jupyter Notebook
Python
Ruby
TypeScript
Sort
Showing 10 of 23 repositories
.github
Public
The RAIR Lab Github Organization Homepage Markdown
RAIRLab/.github's past year of commit activity
0
0
0
0
Updated Sep 11, 2026
RAIRLab/Modular-Smarthome-Terminal's past year of commit activity
Python
1
0
15
0
Updated Jun 29, 2026
lazyslate
Public
An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.
RAIRLab/lazyslate's past year of commit activity
TypeScript
17
MIT
2
6
0
Updated May 24, 2026
logic-group
Public
Website listing the talks given in the logic group
RAIRLab/logic-group's past year of commit activity
2
0
0
0
Updated Apr 30, 2026
ShadowProver
Public
The definitive DCEC theorem prover built on SNARK.
RAIRLab/ShadowProver's past year of commit activity
Java
4
MIT
1
0
0
Updated Feb 6, 2025
Spectra
Public
The Spectra Automated Planner for DCEC built on ShadowProver
RAIRLab/Spectra's past year of commit activity
Java
6
0
0
0
Updated Feb 3, 2025
Peirce-My-Heart
Public
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
RAIRLab/Peirce-My-Heart's past year of commit activity
vsp
Public
Website for the Workshop on Variable Sharing Properties and Their Discontents
RAIRLab/vsp's past year of commit activity
1
0
0
0
Updated Nov 15, 2024
RAIRLab/Publications's past year of commit activity
Python
1
0
3
0
Updated Nov 1, 2024
EG-Theorem-Proving-in-PMH
Public
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
RAIRLab/EG-Theorem-Proving-in-PMH's past year of commit activity
2
MIT
0
1
1
Updated Dec 21, 2023
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.