{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Peirce-My-Heart","owner":"RAIRLab","isFork":false,"description":"A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.","allTopics":["typescript","interactive-theorem-proving","vite","existential-graphs","charles-sanders-peirce","charles-peirce"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":18,"starsCount":7,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T14:35:42.493Z"}},{"type":"Public","name":"Spectra","owner":"RAIRLab","isFork":false,"description":"The Spectra Automated Planner for DCEC built on ShadowProver","allTopics":["java","automated-planning","epistemic-planning"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T05:24:36.453Z"}},{"type":"Public","name":"Publications","owner":"RAIRLab","isFork":false,"description":"RAIR Lab Publication List ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T00:36:46.419Z"}},{"type":"Public","name":"logic-group","owner":"RAIRLab","isFork":false,"description":"Website listing the talks given in the logic group","allTopics":["markdown","website"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T15:21:57.073Z"}},{"type":"Public","name":"lazyslate","owner":"RAIRLab","isFork":false,"description":"An open source graphical proof construction assistant for the creation of Natural Deduction proofs.","allTopics":["javascript","gui","html5-canvas","interactive-theorem-proving","theorem-prover","verifier"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":5,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-03T04:19:03.283Z"}},{"type":"Public","name":"EG-Theorem-Proving-in-PMH","owner":"RAIRLab","isFork":false,"description":"(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH","allTopics":["book","existential-graphs","charles-sanders-peirce","mdbook-book"],"primaryLanguage":null,"pullRequestCount":1,"issueCount":1,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-21T13:07:54.287Z"}},{"type":"Public","name":".github","owner":"RAIRLab","isFork":false,"description":"The RAIR Lab Github Organization Homepage Markdown","allTopics":["markdown"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-18T04:06:03.429Z"}},{"type":"Public","name":"Parallel-Verifier","owner":"RAIRLab","isFork":false,"description":"Parallel Verification of Propositional Natural-Deduction Proof Graphs","allTopics":["cpp","openmp","mpi","verification","natural-deduction"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-16T01:49:26.759Z"}},{"type":"Public","name":"VirtualSlate","owner":"RAIRLab","isFork":false,"description":"VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction. ","allTopics":["virtual-reality","godot","interactive-theorem-proving"],"primaryLanguage":{"name":"GDScript","color":"#355570"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-09T05:14:43.834Z"}},{"type":"Public","name":"ShadowProver","owner":"RAIRLab","isFork":false,"description":"The definitive DCEC theorem prover built on SNARK.","allTopics":["java","theorem-prover","modal-logics"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-28T01:24:36.174Z"}},{"type":"Public","name":"Equitable-AI-Development-Paths","owner":"RAIRLab","isFork":false,"description":"Data for our paper \"Non-Profit-Driven Development Paths for Equitable AI/AGI\" accepted for publication at ICRES 2023.","allTopics":["data"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-11T05:51:43.558Z"}},{"type":"Public","name":"ShadowProver-Python","owner":"RAIRLab","isFork":false,"description":"Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-30T19:23:23.215Z"}},{"type":"Public","name":"snark","owner":"RAIRLab","isFork":false,"description":"Modified version of SNARK version 20120808r02. The RAIR Lab did not create nor does it claim any rights to snark.","allTopics":["common-lisp","theorem-prover"],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-30T03:53:09.004Z"}},{"type":"Public","name":"ShadowAdjudicator","owner":"RAIRLab","isFork":false,"description":"An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.","allTopics":["python","modal-logic","automate-reasoning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-14T18:42:54.283Z"}},{"type":"Public archive","name":"prover","owner":"RAIRLab","isFork":true,"description":"This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.","allTopics":["java","automated-theorem-proving"],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-14T18:26:18.674Z"}},{"type":"Public archive","name":"RAIRLab.github.io","owner":"RAIRLab","isFork":false,"description":"RAIR Lab Homepage","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-14T17:28:17.717Z"}},{"type":"Public","name":"pyPAGI","owner":"RAIRLab","isFork":false,"description":"The python helper library for PAGI World.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-10T23:45:59.068Z"}},{"type":"Public","name":"Talos","owner":"RAIRLab","isFork":true,"description":"An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-13T16:34:17.003Z"}},{"type":"Public","name":"DCEC_Library","owner":"RAIRLab","isFork":true,"description":"A library for parsing and using the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-13T16:34:05.626Z"}},{"type":"Public archive","name":"Talos-Flask","owner":"RAIRLab","isFork":false,"description":"A flask wrapper for the Talos automated theorem prover","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-14T09:00:36.092Z"}},{"type":"Public","name":"PAGIapi-python","owner":"RAIRLab","isFork":false,"description":"Python API for interacting with PAGIworld ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-03T18:38:48.852Z"}}],"repositoryCount":21,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}