life4 / deal-solverView external linksLinks
z3-powered solver (theorem prover) for deal
☆13Sep 28, 2023Updated 2 years ago
Alternatives and similar repositories for deal-solver
Users that are interested in deal-solver are comparing it to the libraries listed below
Sorting:
- codemirror component extracted from svelte-repl☆12Jan 4, 2023Updated 3 years ago
- Wildcard DNS server implementing xip.io wildcards, host mapping and pass through.☆20Aug 31, 2018Updated 7 years ago
- awshelp forwards arguments to `aws` unless `-h` or `--help` are present☆21Dec 22, 2025Updated last month
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆862Nov 30, 2025Updated 2 months ago
- ☆17Updated this week
- Get the scholarly citation for any research product: software, preprint, paper, or dataset☆84May 23, 2023Updated 2 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Automatically download and transform Hetzner invoices.☆12May 28, 2020Updated 5 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆14Jan 8, 2024Updated 2 years ago
- A python library for loading and reading configuration☆64Sep 4, 2025Updated 5 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- General purpose pre-commit hooks used by BestDoctor for Python projects.☆12Jan 18, 2022Updated 4 years ago
- IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆12Dec 22, 2025Updated last month
- A PGN reviewer and publishing platform for the Kindle, allowing users to review annotated Chess games from their digital e-reader.☆23Apr 25, 2011Updated 14 years ago
- Tracebacks for Humans (in Jupyter notebooks)☆12Dec 30, 2025Updated last month
- An Ansible Role that manages Hetzner Robot Firewall☆12Feb 13, 2020Updated 6 years ago
- Apple TV screensaver for Linux☆12Apr 1, 2025Updated 10 months ago
- Automatically manage /etc/hosts entries for local docker containers☆15Dec 9, 2025Updated 2 months ago
- ☆10Dec 15, 2019Updated 6 years ago
- Seamlessly integrate svelte with vue, react with vite, react with cra, webpack and next.js too!☆11Dec 3, 2023Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- ☆10Aug 28, 2025Updated 5 months ago
- Python app for black-litterman portfolio optimisation☆10Dec 8, 2022Updated 3 years ago
- HTML renderer and Schematron rules for NISO STS☆12Dec 5, 2025Updated 2 months ago
- The purpose of this module is to provide ready to use user-data file for Hetzner cloud servers with multiple network managers.☆15Mar 24, 2025Updated 10 months ago
- unofficial library to trade in finvasia.☆16Dec 17, 2022Updated 3 years ago
- Simpe AWS lambda function to create a timelapse using a NetGear Arlo Pro Camera and ffmpeg.☆12Dec 8, 2022Updated 3 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Updated this week
- Python async data processing microframework☆41Apr 16, 2024Updated last year
- ACF's OPRE OPS product. Code name Unicorn.☆12Updated this week
- An knowledge graph for data structures and algorithms in markdown format☆12Jul 22, 2022Updated 3 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Examples for Consul ACLs for single or multiple datacenters.☆12Jul 31, 2020Updated 5 years ago
- External link tracking tool for Wikimedia partnerships☆11Oct 3, 2025Updated 4 months ago
- >>PhysWikiQuiz<< - a Physics Question Generation and Interrogation System☆11Feb 25, 2023Updated 2 years ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆37Jan 26, 2026Updated 2 weeks ago