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☆14Feb 4, 2020Updated 6 years ago
- Questionably Accurate Course Scheduler for RPI☆49Updated this week
- Monte Carlo Tree Search guided by neural network to play board game Gomoku (Five in a Line)☆14Jan 21, 2018Updated 8 years ago
- Web application that allows students to navigate through their selected HASS integrated pathway courses☆13Aug 6, 2024Updated 2 years ago
- Silly little utility for purging deadnames from your public GitHub repos☆13Mar 17, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Mobile app that provides notifications about the status of the James Webb Space Telescope☆14Aug 3, 2023Updated 3 years ago
- Hook for mkinitcpio to enable tailscale access in early userspace☆16Feb 9, 2026Updated 8 months ago
- A library for creating and using anonymous sum types as errors in Rust☆18Nov 20, 2020Updated 5 years ago
- The Polytechnic's content management system☆23Dec 7, 2024Updated last year
- ☆15Aug 14, 2026Updated 2 months ago
- scraper for Rensselaer Polytechnic Institute (RPI)'s Covid Dashboard☆13Jun 4, 2022Updated 4 years ago
- A one-click APK file to root the ZTE Valet and phones similar to it.☆25Sep 28, 2014Updated 12 years ago
- An eselect module to manage repos.conf (i.e. layman replacement)☆24Jun 23, 2026Updated 3 months ago
- A mildly popular online space MMO☆23Oct 10, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Miscellaneous code related to my crypto work surrounding the Zodiac Killer ciphers (zodiackillerciphers.com)☆21Mar 1, 2026Updated 7 months ago
- EmPOWer your commits with Rust!☆20Jul 10, 2021Updated 5 years ago
- A repository holding all the data used on QuACS.org☆20Updated this week
- A simple Java library for FRC to develop more complex programs with less code☆10Jan 8, 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
- Script to run a command within a Mullvad network namespace☆39Mar 4, 2022Updated 4 years ago
- ☆14Mar 1, 2023Updated 3 years ago
- My personal blog☆14Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zipline Android Client Application for a Diced/Zipline v4 ShareX Server to Upload, Download and Manage Files and Short URLs.☆14Oct 10, 2026Updated last week
- ☆10Updated this week
- GNU Aris (fork)☆13Aug 26, 2026Updated last month
- An interpreter of well-formed formulas in propositional calculus.☆10Jan 5, 2015Updated 11 years ago
- Performs automated backups of SalesForce.com data.☆11Jun 22, 2022Updated 4 years ago
- SELinux policy for Tailscale☆25Jan 23, 2023Updated 3 years ago
- Sente is an open source python library for the game of Go☆27Oct 4, 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
- ☆39Jan 13, 2025Updated last year
- 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.
- Cloned from https://framagit.org/pumpkin/circuit-web-synth-editor☆12Dec 1, 2019Updated 6 years ago
- A simplified version of Go game in Python, with AI agents built-in and GUI to play.☆22May 3, 2019Updated 7 years ago
- Main Webpage for Submitty☆25Updated this week
- Node.js application (AWS Elastic Beanstalk friendly) for bridging Salesforce Platform Events to AWS SNS topics☆11Dec 10, 2022Updated 3 years ago
- Go Serverless with Salesforce Platform Events using AWS Lambda☆12Mar 20, 2020Updated 6 years ago
- Build Machine Learning Layers for Python Lambda functions with 10 lines of code☆14Mar 5, 2024Updated 2 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 9 years ago