See what the GitHub community is most excited about today.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
CAD files for various boards, components and parts
The Yices SMT Solver
Update to Eustathios with a little bit of HercuLien Design Changes
Precious Plastic Downloadpack
mbed HDK - This repository is not being maintained. For the latest updates, please use: http://www.oddjack.com/?certs=ARMmbed/mbed-HDK-Eagle-Projects
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
There is a new version of dReal, available at http://www.oddjack.com/?certs=dreal/dreal4
Open Thermocycler Implementation
A low-cost GPS module for Nikon DSLRs
A library for Proof Theory (especially Proof Compression) in Scala.
run z3 on iOS for some reason
Ghosts of Departed Proofs
Collection of Eagle projects for targets, interfaces, shields and more
Learning to Solve SMT Formulas Fast
Official M3D Promega Repository for tracking SD Card Configs, Slicer Configs, and Issues Voting/Tracking
SMT Solver for Nonlinear Theories of Reals
Please check dreal3 instead.
Test and benchmark repository for Z3.
WEEDINATOR agricultural robot files
Tons of Inductive Problems: The Benchmarks
Space Invaders in Verilog for the iCE40 H1K
[research] A modular SMT solver in OCaml, based on mcSAT
A Fast Floating-Point Satisfiability Solver
LTC4015 solar multi-chemistry battery charger (35V/8A)