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.☆21Aug 31, 2018Updated 7 years ago
- awshelp forwards arguments to `aws` unless `-h` or `--help` are present☆21Dec 22, 2025Updated 2 months ago
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆868Nov 30, 2025Updated 3 months ago
- ☆17Feb 21, 2026Updated last 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
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆15Jan 8, 2024Updated 2 years ago
- Automatically download and transform Hetzner invoices.☆14May 28, 2020Updated 5 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- A python library for loading and reading configuration☆64Sep 4, 2025Updated 6 months ago
- Simpe AWS lambda function to create a timelapse using a NetGear Arlo Pro Camera and ffmpeg.☆12Dec 8, 2022Updated 3 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years 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 11 months ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Tracebacks for Humans (in Jupyter notebooks)☆12Dec 30, 2025Updated 2 months ago
- ☆10Dec 15, 2019Updated 6 years ago
- 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
- ☆10Aug 28, 2025Updated 6 months ago
- IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆12Dec 22, 2025Updated 2 months ago
- An Ansible Role that manages Hetzner Robot Firewall☆12Feb 13, 2020Updated 6 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Automatically manage /etc/hosts entries for local docker containers☆15Dec 9, 2025Updated 2 months ago
- Apple TV screensaver for Linux☆12Apr 1, 2025Updated 11 months ago
- General purpose pre-commit hooks used by BestDoctor for Python projects.☆12Jan 18, 2022Updated 4 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- Python app for black-litterman portfolio optimisation☆10Dec 8, 2022Updated 3 years ago
- unofficial library to trade in finvasia.☆16Dec 17, 2022Updated 3 years ago
- Seamlessly integrate svelte with vue, react with vite, react with cra, webpack and next.js too!☆11Dec 3, 2023Updated 2 years ago
- This is the main repository for the Viper IDE extension for VS Code.☆13Feb 28, 2026Updated last week
- SPARK 2014 repository for the Why3 verification platform.☆35Updated this week
- Python async data processing microframework☆41Apr 16, 2024Updated last year
- Upload SQLite database files to Datasette☆14Nov 10, 2025Updated 3 months ago
- Intuitive functional programming interface for LaTeX2☆13Dec 21, 2024Updated last year
- ☆10Jul 17, 2021Updated 4 years ago
- Converter from Swagger JSON to Markdown☆11May 11, 2019Updated 6 years ago
- Bearsql allows you to query pandas dataframe with sql syntax. It uses duckdb as the internal processing engine☆15Sep 20, 2023Updated 2 years ago
- A Docker image with a Dropbear SSH server compatible with SFTP, SCP and rsync.☆11Feb 1, 2026Updated last month
- Compile ES2015 with buble☆12Dec 31, 2017Updated 8 years ago