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.
Fusion 360 design 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.
New version of the dReal solver. More info at
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
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
Collection of Eagle projects for targets, interfaces, shields and more
Please check dreal3 instead.
Test and benchmark repository for Z3.
A Fast Floating-Point Satisfiability Solver
Tons of Inductive Problems: The Benchmarks
Space Invaders in Verilog for the iCE40 H1K
[research] A modular SMT solver in OCaml, based on mcSAT
WEEDINATOR agricultural robot files
LTC4015 solar multi-chemistry battery charger (35V/8A)