Awesome Open Source

Programming Languages

Search results for smt

330 search results found

Vim Polyglot ⭐ 5,431

A solid language pack for Vim.

Manticore ⭐ 3,535

Symbolic execution tool

Fstar ⭐ 2,522

A Proof-oriented Programming Language

Openpnp ⭐ 1,501

Open Source SMT Pick and Place Hardware and Software

Barf Project ⭐ 1,193

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

Liquidhaskell ⭐ 1,132

Liquid Types For Haskell

Cryptol ⭐ 1,091

Cryptol: The Language of Cryptography

Bluespec Compiler (BSC)

Automatic verification of LLVM optimizations

Py2many ⭐ 570

Transpiler of Python to many other languages

pySMT: A library for SMT formulae manipulation and solving

Simple Theorem Prover, an efficient SMT solver for bitvectors

Portsmash ⭐ 458

Jlcparts ⭐ 447

Better parametric search for components available for JLC PCB assembly

Symbolic Execution ⭐ 412

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Apalache ⭐ 387

APALACHE: symbolic model checker for TLA+ and Quint

SMACK Software Verifier and Verification Toolchain

The Yices SMT Solver

Stainless ⭐ 339

Verification framework and tool for higher-order Scala programs

Pysymemu ⭐ 301

An amd64 symbolic emulator

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

Rust bindings for the Z3 solver.

Renaissance ⭐ 284

The Renaissance Benchmark Suite

Constraint solver based on coverage-guided fuzzing

Mev_book ⭐ 231

An aggregate of MEV resources, libraries, research papers, and strategies.

The efficient SMT-based context-bounded model checker (ESBMC)

Euclid_probe ⭐ 215

Euclid probe, a magnetically coupled Z Probe

Java Smt ⭐ 162

JavaSMT - Unified Java API for SMT solvers.

Yinyang ⭐ 148

A fuzzing framework for SMT solvers

Communication between Coq and SAT/SMT solvers

Automated Reasoning in Nonlinear Theories of Reals

Bitwuzla ⭐ 139

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

Documentdownload ⭐ 137

Download documents of Ian's products

Teensy.pretty ⭐ 136

KiCAD library for Teensy microcontrollers

A Go library that implements a Sparse Merkle tree for a key-value map.

Swift Tfp ⭐ 129

Find shape errors before you run your code!

Esverify ⭐ 119

ECMAScript verification with SMT solvers

Openpnp Openbuilds ⭐ 113

An OpenPnP compatible SMT pick and place machine based on OpenBuilds linear motion components.

Cyberdeck ⭐ 113

Scalaz3 ⭐ 111

DSL in Scala for Constraint Solving with Z3 SMT Solver

Eustathios Spider V2 ⭐ 109

Update to Eustathios with a little bit of HercuLien Design Changes

Sumatra ⭐ 106

Synthesis of Heap-Manipulating Programs from Separation Logic

WASM builds of the Z3 SMT solver

MonoSAT - An SMT solver for Monotonic Theories

Spectrum ⭐ 92

SmartMesh Chain

Go (golang) bindings to the Z3 SMT Solver

Solver for higher-order functional programs

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

Gerber2graphtec ⭐ 82

Cut SMT stencils from gerber files using a Graphtec cutter

Schmitty ⭐ 81

Agda bindings to SMT-LIB2 compatible solvers.

Ocodo Svg Modelines ⭐ 81

a collection of beautiful, modern SVG modelines for Emacs

Kryptonite For Kafka ⭐ 78

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

Hardware ⭐ 78

OpenEnergyMonitor Open Source Hardware

Ipmi_firmware_tools ⭐ 75

IPMI analysis tools

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

Cryptosmt ⭐ 70

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

The opensmt solver

R2con2020_deobfuscation ⭐ 63

A framework to execute and verify algorithms using Groth16 zkSNARKs.

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Lean Smt ⭐ 58

Tactics for discharging Lean goals into SMT solvers.

Smtinterpol ⭐ 57

SMTInterpol interpolating SMT solver

Pono: A flexible and extensible SMT-based model checker

SMT-aware Real-time scheduler for Linux

A model checker for infinite-state systems.

Heatpumpmonitor ⭐ 56

Open-source Heatpump Monitor

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Haskell Z3 ⭐ 54

Haskell bindings to Microsoft's Z3 API (unofficial).

Sparse Merkle Tree

Saw Core ⭐ 51

The SAW core language.

Pinecone_pi_nano ⭐ 50

PineconePi Nano is a development board that meets all the good ideas of 8051 MCU enthusiasts and creators: low cost, small size, size only 52 mm x 18 mm (DIP40); faster core: ultra-high speed 8051 core (1T), 12 times faster than traditional 8051; wide range of use: working voltage: 2.0V ~ 5.5V (built-in LDO), working temperature: - 40 ~85 (℃); rich peripherals and hardware resources. Source: One-button cold start, 8-channel LED, two SMT digital tubes, onboard Ch330N; 64K Flash, 5-way TIM, 8-way

The ISLa (Input Specification Language) language & solver.

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Automata ⭐ 49

Automata and transducer library for .NET

Reads a state transition system and performs property checking

Scripting Language for Kinect v2 Gestures

There is a new version of dReal, available at https://github.com/dreal/dreal4

An ICE-based predicate synthesizer for Horn clauses.

Smt Manager ⭐ 44

Simultaneous Multithreading (SMT) Manager - enable or disable hyperthreading cores, or display your current CPU topology.

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Adafruit Smt Breakout Pcbs ⭐ 44

PCB files for Adafruit SMT Basic Breakouts

Scala Smtlib ⭐ 43

Scala library for parsing and printing the SMT-LIB format

Grisette ⭐ 43

A monadic library for symbolic evaluation

A golang implementation of a sparse merkle tree

The CafeSat SMT solver for Scala

Sbvplugin ⭐ 41

Formally prove properties of Haskell programs using SBV/SMT.

Heatplatform_smt ⭐ 41

DIY个人简易的SMT加热平台

Learning to Solve SMT Formulas Fast

IRMQTT ESP8266/8285 WIFI遥控支持HASS反馈 MQTT协议

Implementation of higher-order logic in Python

Sle2docker ⭐ 39

This is a tool which facilitates the creation of SLE containers for Docker.

[research] A modular SMT solver in OCaml, based on mcSAT

Simple Multi-Touch (SMT) Toolkit

Torxakis ⭐ 37

A tool for Model Based Testing

Vim Smt2 ⭐ 36

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Related Searches

Python Smt (108)

C Plus Plus Smt (68)

1-100 of 330 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.