F L i P : Logical Framework in Python
☆37Oct 17, 2022Updated 3 years ago
Alternatives and similar repositories for FLiP
Users that are interested in FLiP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- egraphs-good website☆17Mar 10, 2026Updated 5 months ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- A proof editor for first order logic☆25Apr 27, 2021Updated 5 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆33Nov 27, 2023Updated 2 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.
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- BuDDy BDD package (with CMake support)☆16May 7, 2024Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆21Jun 22, 2025Updated last year
- Mirror your new main branch to your old master branch (or mirror any branch A to any branch B)☆12Aug 15, 2024Updated 2 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- learning cuda☆20Jun 27, 2016Updated 10 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- Little game library written in Nim (Nimrod) using opengl and sfml☆17Oct 11, 2017Updated 8 years ago
- ☆55Jul 31, 2026Updated last month
- 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.
- ☆17Jan 4, 2021Updated 5 years ago
- XReason - formal reasoning about explanations for ML models☆18May 16, 2025Updated last year
- ☆13Nov 23, 2019Updated 6 years ago
- ☆18Feb 20, 2020Updated 6 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆62Aug 26, 2025Updated last year
- ☆16Mar 21, 2023Updated 3 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆20Updated this week
- This extension colors the background in various ways for VS Code☆11Apr 30, 2023Updated 3 years ago
- Node.js module to manage /etc/passwd☆17Oct 14, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Feb 7, 2020Updated 6 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- Python bindings to picosat (a SAT solver)☆194Updated this week
- Resources for morphological analysis of Portuguese☆28Aug 1, 2026Updated last month
- Mirror of the Approximate POMDP Planning (APPL) C++ toolkit for POMDP planning.☆24Apr 15, 2016Updated 10 years ago
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 years ago
- Forward messages to collaborators in East-oriented style.☆14Aug 17, 2026Updated 2 weeks ago
- A Python library for working with finite state automata.☆26Oct 12, 2011Updated 14 years ago
- It's pretty bad.☆15May 8, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A platform for running code plagiarism (cheating) detection software on large datasets☆14Nov 7, 2016Updated 9 years ago
- Proof of Concept for CVE-2014-3466 (GnuTLS buffer overflow: session id length check)☆17Sep 29, 2014Updated 11 years ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 7 months ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- けものフレンズに出てくるラッキービースト的な何かを作るテスト☆12Sep 9, 2017Updated 8 years ago
- Lattice reduction technique☆10Oct 14, 2014Updated 11 years ago
- ☆11May 12, 2019Updated 7 years ago