Topic: smt Goto Github
Some thing interesting about smt
Some thing interesting about smt
smt,SMT solver for the theory of floating-point arithmetic
User: abenkhadra
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,This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
User: bgamari
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://stainless.epfl.ch
smt,A Proof-oriented Programming Language
Organization: fstarlang
Home Page: https://www.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,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,APALACHE: symbolic model checker for TLA+ and Quint
Organization: informalsystems
Home Page: https://apalache.informal.systems
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,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,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/
smt,Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.
Organization: unpackdev
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.