Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
☆10Sep 11, 2026Updated last month
Alternatives and similar repositories for aris
Users that are interested in aris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Automated Logic Processor And Creation Application☆13Feb 4, 2020Updated 6 years ago
- A repository holding all the data used on QuACS.org☆20Updated this week
- scraper for Rensselaer Polytechnic Institute (RPI)'s Covid Dashboard☆13Jun 4, 2022Updated 4 years ago
- Questionably Accurate Course Scheduler for RPI☆49Updated this week
- A mildly popular online space MMO☆24Oct 30, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A one-click APK file to root the ZTE Valet and phones similar to it.☆25Sep 28, 2014Updated 12 years ago
- QEMU libretro core port☆13Updated this week
- EmPOWer your commits with Rust!☆20Jul 10, 2021Updated 5 years ago
- RPI Course on Open Source Software☆44Dec 17, 2024Updated last year
- Monte Carlo Tree Search guided by neural network to play board game Gomoku (Five in a Line)☆14Jan 21, 2018Updated 8 years ago
- Mobile app that provides notifications about the status of the James Webb Space Telescope☆14Aug 3, 2023Updated 3 years ago
- An embeddable version of TorqueScript☆10Jun 1, 2026Updated 5 months ago
- 🚐 Shuttle tracking for RPI.☆45Feb 15, 2022Updated 4 years ago
- ☆15Aug 14, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A library for creating and using anonymous sum types as errors in Rust☆18Nov 20, 2020Updated 5 years ago
- Logic Engine for Grid-Using Puzzles - a better way to learn formal logic☆36Updated this week
- A spaCy extension wrapping around the arguing lexicon by MPQA☆10Aug 28, 2022Updated 4 years ago
- Rensselaer campus shuttle tracker☆11May 15, 2024Updated 2 years ago
- Miscellaneous code related to my crypto work surrounding the Zodiac Killer ciphers (zodiackillerciphers.com)☆21Mar 1, 2026Updated 8 months ago
- Undo that bad youtube UI update☆18Aug 21, 2023Updated 3 years ago
- A python package to automate downloads of Salesforce Weekly Data Exports☆10Jan 26, 2021Updated 5 years ago
- DeepDip, a DRL Gym agent that plays no-press Diplomacy in BANDANA☆13Jul 22, 2019Updated 7 years ago
- Building a paint app with Stable Diffusion running locally☆12Dec 4, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A curated list of cryptography resources and links.☆12Feb 18, 2017Updated 9 years ago
- A simple Java library for FRC to develop more complex programs with less code☆10Jan 8, 2023Updated 3 years ago
- PolyKit is wrapper library for Poly API with Swift.☆10Mar 31, 2018Updated 8 years ago
- Hook for mkinitcpio to enable tailscale access in early userspace☆16Feb 9, 2026Updated 8 months ago
- ☆10Updated this week
- A basic html editor for the pythonista app☆11Dec 14, 2015Updated 10 years ago
- Performs automated backups of SalesForce.com data.☆11Jun 22, 2022Updated 4 years ago
- Data Analytics on Twitter with Natural Language Processing☆17Apr 17, 2023Updated 3 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Mar 1, 2023Updated 3 years ago
- An interpreter of well-formed formulas in propositional calculus.☆10Jan 5, 2015Updated 11 years ago
- Sente is an open source python library for the game of Go☆27Oct 4, 2023Updated 3 years ago
- Zipline Android Client Application for a Diced/Zipline v4 ShareX Server to Upload, Download and Manage Files and Short URLs.☆14Oct 10, 2026Updated 3 weeks ago
- Cloned from https://framagit.org/pumpkin/circuit-web-synth-editor☆12Dec 1, 2019Updated 6 years ago
- Node.js application (AWS Elastic Beanstalk friendly) for bridging Salesforce Platform Events to AWS SNS topics☆11Dec 10, 2022Updated 3 years ago
- Ontology Engineering class☆22Updated this week