adafruit / Adafruit_CAD_Parts
CAD files for various boards, components and parts
See what the GitHub community is most excited about this month.
CAD files for various boards, components and parts
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.