Please check dreal4 instead.
☆13Nov 11, 2015Updated 10 years ago
Alternatives and similar repositories for dreal2
Users that are interested in dreal2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Jun 1, 2024Updated 2 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Sep 28, 2026Updated last month
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆51Jul 8, 2021Updated 5 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 5 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆18Oct 23, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated last year
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Alternate formulae repos for Homebrew☆12Aug 21, 2026Updated 2 months ago
- A program to watch an imap mailbox for new emails and launch a custom command upon receiving them☆13Aug 20, 2015Updated 11 years ago
- This tool convert qucs .sch files to kicad .sch files☆16Oct 11, 2011Updated 15 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- Digital Audio Funstation☆15Oct 13, 2026Updated 2 weeks ago
- Darktable sqlite3 database management from the command line!☆13Mar 25, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Nov 29, 2019Updated 6 years ago
- ☆40Oct 1, 2026Updated 3 weeks ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- Fast transforms over finite fields☆13Jul 17, 2021Updated 5 years ago
- pcells for various magnetic passive devices (GPL v3)☆13Sep 21, 2013Updated 13 years ago
- A Julia wrapper for Xyce.☆16Dec 9, 2025Updated 10 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆116Jul 11, 2026Updated 3 months ago
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- Simple C++ plotting☆17Jun 13, 2019Updated 7 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.
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- ☆20Apr 30, 2026Updated 6 months ago
- A Python tool for studying Dynamics☆20Apr 5, 2011Updated 15 years ago
- The Berkeley Verilog-A Parser and Processor☆15Mar 24, 2017Updated 9 years ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- ☆17Oct 21, 2026Updated last week
- Website for getting second hands from books at goodreads.com☆13Aug 2, 2020Updated 6 years ago
- The Carburetta scanner & parser generator☆21Aug 29, 2026Updated 2 months ago
- Specifications of cryptographic algorithms in Cryptol☆54Updated this week
- 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.
- Git mirror of Blitz++ at http://sourceforge.net/projects/blitz/☆17Jun 11, 2016Updated 10 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 9 years ago
- UCI chess playing engine derived from Stockfish and LeelaChess Zero☆18Aug 19, 2018Updated 8 years ago
- A header-only C++17 chess library☆17Jan 25, 2025Updated last year
- Source for my 2012 UCD dissertation "Human Control of a Bicycle"☆20Mar 11, 2026Updated 7 months ago
- Modelica3D is a lightweight, platform independent 3D-visualisation library for Modelica.☆22Jan 12, 2015Updated 11 years ago