multi-logic proof generator
☆11Sep 18, 2023Updated 2 years ago
Alternatives and similar repositories for pytableaux
Users that are interested in pytableaux are comparing it to the libraries listed below
Sorting:
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 5 years ago
- A CLI tool that allows you to run and test your Near Social Widgets locally using just your preferred code editor and your default browse…☆12Sep 8, 2023Updated 2 years ago
- Orthogonal Multipole Magnetic Basis Vectors - Complete orthogonal vector basis with accurate field-line mapping of electric fields and io…☆12Apr 7, 2025Updated 10 months ago
- UNMAINTAINED: See celluloid/celluloid#779☆48Aug 21, 2018Updated 7 years ago
- Common weakness enumeration library for Python☆16Mar 17, 2024Updated last year
- React component for visualizing graph data☆10May 16, 2022Updated 3 years ago
- ☆13May 27, 2025Updated 9 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- Tool to Compare, Benchmark and Script AI services. Written in C# targeting Console, WPF and UWP.☆10Apr 15, 2017Updated 8 years ago
- Generate a prerequisite-tracking static website. Similar to metacademy.☆10Feb 2, 2023Updated 3 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Four color theorem, Guthrie, Kempe, Tait and other people and stuff☆10Feb 26, 2026Updated last week
- BoomSoccer is a browser real-time multiplayer game (Javascript/Websocket/HTML5)☆11Jul 25, 2016Updated 9 years ago
- This repo explores how AMR to address tasks difficult for LLMs☆13Jan 15, 2024Updated 2 years ago
- ☆13Aug 5, 2024Updated last year
- ☆11Mar 15, 2017Updated 8 years ago
- PyTorch implementation of the paper-"Human Mobility Prediction with Causal and Spatial-constrained Multi-task Network"☆12Mar 19, 2024Updated last year
- Spree Minicart displays a minicart in your spree store.☆39Dec 26, 2014Updated 11 years ago
- Numerical simulation of ODEs in python.☆21Nov 1, 2021Updated 4 years ago
- "Strong" chess engine made in C++☆17Updated this week
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆14Feb 18, 2026Updated 2 weeks ago
- Program synthesis☆12May 16, 2016Updated 9 years ago
- ☆11Nov 29, 2023Updated 2 years ago
- Generic admin UI for Pyramid projects☆21Aug 4, 2011Updated 14 years ago
- A declarative data mapper☆13Oct 13, 2019Updated 6 years ago
- Implementation of the most important parts of the Lottery Ticket Hypothesis Paper☆12Jul 2, 2018Updated 7 years ago
- morris.js for the Rails Asset Pipeline☆31Mar 25, 2023Updated 2 years ago
- ☆19Dec 3, 2014Updated 11 years ago
- A game for experimenting with sensorimotor AI.☆16May 9, 2014Updated 11 years ago
- ☆15Sep 5, 2016Updated 9 years ago
- Simulation of static and dynamic deformation of Kirchhoff rods with the FEniCS platform.☆14Nov 15, 2020Updated 5 years ago
- Work in progress. Read at your own risk.☆15Jan 21, 2016Updated 10 years ago
- neon implementation of SegNet☆13Jan 3, 2023Updated 3 years ago
- Paired comparison model using Gaussian Process prior☆13Feb 21, 2019Updated 7 years ago
- ☆11Sep 9, 2015Updated 10 years ago
- A Python program that tries to prove a statement given a set of propositions in first order logic.☆10Jul 13, 2015Updated 10 years ago
- ☆15Jan 12, 2022Updated 4 years ago
- Solutions to Advent of Code 2020, written in Racket☆15Aug 2, 2021Updated 4 years ago