ONEARMY / Precious Plastic Kit
Licence: mit
Precious Plastic Downloadpack
Stars: ✠136
Labels
Projects that are alternatives of or similar to Precious Plastic Kit
kafka-connect-transform-kryptonite
Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project
Stars: ✠30 (-77.94%)
Mutual labels: smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Stars: ✠93 (-31.62%)
Mutual labels: smt
Adafruit cad parts
CAD files for various boards, components and parts
Stars: ✠386 (+183.82%)
Mutual labels: smt
Nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
Stars: ✠73 (-46.32%)
Mutual labels: smt
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✠117 (-13.97%)
Mutual labels: smt
Jlcparts
Better parametric search for components available for JLC PCB assembly
Stars: ✠114 (-16.18%)
Mutual labels: smt
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Stars: ✠476 (+250%)
Mutual labels: smt
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
Stars: ✠91 (-33.09%)
Mutual labels: smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✠352 (+158.82%)
Mutual labels: smt
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✠79 (-41.91%)
Mutual labels: smt
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
Stars: ✠83 (-38.97%)
Mutual labels: smt
Mbed Hdk
mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects
Stars: ✠106 (-22.06%)
Mutual labels: smt
archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✠20 (-85.29%)
Mutual labels: smt
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✠125 (-8.09%)
Mutual labels: smt
Eustathios Spider V2
Update to Eustathios with a little bit of HercuLien Design Changes
Stars: ✠107 (-21.32%)
Mutual labels: smt
precious-plastic-kit V4.1
YEAH, you made it into the download-kit! Start with folder 1. read the introduction text and make sure to watch the videos from our website.
If you have any questions visit our community platform or Discord https://community.preciousplastic.com/ https://discordapp.com/invite/rnx7m4t
Good luck!!
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].