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☆18Mar 10, 2026Updated last month
- Diffs arbitrary HTML inline☆28Mar 12, 2018Updated 8 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Little game library written in Nim (Nimrod) using opengl and sfml☆17Oct 11, 2017Updated 8 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SAT-based miner of smallest size decision sets☆12Jan 22, 2021Updated 5 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 3 years ago
- IEC-61131-3 Structured text parser☆18Mar 22, 2014Updated 12 years ago
- lang befunge 93 fast☆21Apr 1, 2026Updated 2 weeks ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- mark/sweep garbage collector for C☆30Mar 24, 2012Updated 14 years ago
- An eBPF enhanced Linux kernel skb and socket tracing tool.☆25Apr 19, 2025Updated 11 months ago
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆31Nov 27, 2023Updated 2 years ago
- ☆11Apr 14, 2023Updated 3 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.
- learning cuda☆20Jun 27, 2016Updated 9 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- A multithreaded, modular software defined router library, written in rust. Safe, fast, and extensible.☆15Nov 10, 2023Updated 2 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- XReason - formal reasoning about explanations for ML models☆16May 16, 2025Updated 10 months ago
- ☆30Sep 11, 2023Updated 2 years ago
- ☆16Mar 21, 2023Updated 3 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆59Aug 26, 2025Updated 7 months 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.
- Japanese translation of OpenSSH manual pages☆13Oct 15, 2016Updated 9 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- Console++ - enhance your console☆139May 31, 2025Updated 10 months ago
- This extension colors the background in various ways for VS Code☆11Apr 30, 2023Updated 2 years ago
- A Henkin-style completeness proof for the modal logic S5☆17Jun 20, 2021Updated 4 years ago
- ☆14Jan 22, 2025Updated last year
- plagiarism detector☆25Apr 12, 2021Updated 5 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆28Mar 16, 2015Updated 11 years ago
- Scripts to compile and run Standard ML programs defined in .mlb files.☆17Mar 3, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A party game about answering prompts cleverly.☆24Feb 24, 2026Updated last month
- Logics is a Python framework for mathematical logic☆27May 8, 2025Updated 11 months ago
- Python bindings to picosat (a SAT solver)☆193Aug 26, 2025Updated 7 months ago
- Resources for morphological analysis of Portuguese☆27Mar 18, 2026Updated 3 weeks ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 5 months ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 4 years ago