F L i P : Logical Framework in Python
☆37Oct 17, 2022Updated 4 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:
- Logics is a Python framework for mathematical logic☆28May 8, 2025Updated last year
- ☆11Jun 29, 2018Updated 8 years ago
- Temporal Logic of Actions Modeling for Python☆11Mar 27, 2021Updated 5 years ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- JavaScript interpreter in Python☆23Apr 19, 2012Updated 14 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.
- C parser writen in Python☆17Sep 21, 2026Updated last month
- Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.☆12Aug 24, 2014Updated 12 years ago
- ☆12May 22, 2016Updated 10 years ago
- venvs creates virtualenvs☆21Oct 25, 2026Updated last week
- A proof editor for first order logic☆25Apr 27, 2021Updated 5 years ago
- Personal website template based on the Hugo Academic theme☆11May 28, 2021Updated 5 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- Ruby implementation of Communicating Sequential Processes☆13Feb 2, 2010Updated 16 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 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.
- pyzmq examples updated for Python3 syntax☆15Aug 5, 2013Updated 13 years ago
- Vendy is a tool for vendoring third-party packages into your project.☆19Nov 28, 2023Updated 2 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- unofficial mirror of pygenie, a tool for measuring cyclomatic complexity☆15Nov 3, 2014Updated 12 years ago
- Setuptools extension for CalVer package versions☆19Oct 20, 2025Updated last year
- Contains various trajectory planning algorithms for drones (minimum jerk, spline trajectory etc. ) for drones. Drone is controlled using …☆11Dec 8, 2023Updated 2 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆66Oct 14, 2017Updated 9 years ago
- ☆11Feb 1, 2017Updated 9 years ago
- A tiny statically typed programming language☆18Jul 22, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Guide to ndarrays☆21May 11, 2015Updated 11 years ago
- learning cuda☆20Jun 27, 2016Updated 10 years ago
- simple Java test projects (snippets)☆10May 31, 2025Updated last year
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- trello2misc is both a standalone program and a todo.txt add-on that pulls cards from Trello and converts them into various outputs.☆10Oct 19, 2015Updated 11 years ago
- IEC-61131-3 Structured text parser☆18Mar 22, 2014Updated 12 years ago
- XReason - formal reasoning about explanations for ML models☆18Sep 8, 2026Updated last month
- lang befunge 93 fast☆21Aug 22, 2026Updated 2 months ago
- ☆11Mar 4, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆18Jan 4, 2021Updated 5 years ago
- super-simple command-line todo tracking☆13Mar 29, 2016Updated 10 years ago
- Tasty functional testing☆37Nov 2, 2011Updated 15 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆62Aug 26, 2025Updated last year
- Connect to shell of containerized application like you were used to before Docker☆18Dec 13, 2016Updated 9 years ago
- Simple Python wrapper for the Yahoo Placemaker API☆16Jul 29, 2011Updated 15 years ago
- tuning hyperparams automatically with spearmint☆15Jun 21, 2014Updated 12 years ago