Topic: smt Goto Github
Some thing interesting about smt
Some thing interesting about smt
smt,Automatic verification of LLVM optimizations
Organization: alivetoolkit
smt,transform-to-json-string is a Single Message Transformation (SMT) for Apache Kafka® Connect to convert a given Connect Record to a single JSON String. It's an UNOFFICIAL community project.
User: an0r0c
smt,APALACHE: symbolic model checker for TLA+ and Quint
Organization: apalache-mc
Home Page: https://apalache-mc.org/
smt,A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
User: bohlender
smt,[research] A modular SMT solver in OCaml, based on mcSAT
User: c-cube
Home Page: https://c-cube.github.io/mc2/
smt,A Go library that implements a Sparse Merkle tree for a key-value map.
Organization: celestiaorg
Home Page: https://godoc.org/github.com/celestiaorg/smt
smt,Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
User: cleanunicorn
smt,SMT based attacks on non cryptographic PRNGs
User: deut-erium
smt,Verification framework and tool for higher-order Scala programs
Organization: epfl-lara
Home Page: https://epfl-lara.github.io/stainless/
smt,A Proof-oriented Programming Language
Organization: fstarlang
Home Page: https://fstar-lang.org
smt,A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
User: gbury
smt,An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
User: hadipourh
Home Page: https://hadipourh.github.io/autoguess
smt,Datalog with support for SMT queries and first-order functional programming
Organization: harvardpl
Home Page: https://harvardpl.github.io/formulog/
smt,Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography library for Apache Kafka® offering a Kafka Connect SMT, ksqlDB UDFs, and a standalone HTTP API service. It's an ! UNOFFICIAL ! community project
User: hpgrahsl
smt,This plugin allows you to configure email notifications for build results
Organization: jenkinsci
Home Page: https://plugins.jenkins.io/mailer
smt,SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
User: leventerkok
Home Page: https://github.com/LeventErkok/sbv
smt,Formally prove properties of Haskell programs using SBV/SMT.
User: leventerkok
smt,A monadic library for symbolic evaluation
User: lsrcz
smt,A free open source cross-platform C++ library for parsing ODB++ Design archives, accessing their data, and building net list product models. Exposed via a REST API packaged inside of a Docker image.
User: nam20485
Home Page: https://nam20485.github.io/OdbDesign/
smt,CLP(SMT) on top of miniKanren
User: namin
smt,prototyping logic programming in Scala
User: namin
smt,SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
User: nicolasamat
smt,WebAssembly Swissknife & cross-language bugfinder
Organization: ocamlpro
Home Page: https://ocamlpro.github.io/owi/
smt,Jupyter notebooks for tutorial on the Z3 SMT solver
User: philzook58
smt,A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Organization: practical-formal-methods
Home Page: https://practical-formal-methods.github.io/storm/
smt,Rust bindings for the Z3 solver.
Organization: prove-rs
smt,pySMT: A library for SMT formulae manipulation and solving
Organization: pysmt
Home Page: http://www.pysmt.org
smt,Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
User: ranea
Home Page: https://ranea.github.io/ArxPy/
smt,A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
User: ranea
Home Page: https://ranea.github.io/CASCADA/
smt,The ISLa (Input Specification Language) language & solver.
User: rindphi
Home Page: https://isla.readthedocs.org
smt,A simple (unfinished) SMT solver for QF_ABV.
User: robbepop
smt,MonoSAT - An SMT solver for Monotonic Theories
User: sambayless
smt,SMACK Software Verifier and Verification Toolchain
Organization: smackers
Home Page: http://smackers.github.io
smt,Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Organization: spoonlabs
Home Page: https://hal.archives-ouvertes.fr/hal-01285008/document
smt,Simple Theorem Prover, an efficient SMT solver for bitvectors
Organization: stp
Home Page: https://stp.github.io/
smt,Symbolic execution tool
Organization: trailofbits
Home Page: https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
smt,Synthesis of Heap-Manipulating Programs from Separation Logic
Organization: tygus
smt,Liquid Types For Haskell
Organization: ucsd-progsys
smt,Tactics for discharging Lean goals into SMT solvers.
Organization: ufmg-smite
smt,Kotlin/Java API for various SMT solvers
Organization: unittestbot
Home Page: https://ksmt.io/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.