All Projects → suslik → Similar Projects or Alternatives

55 Open source projects that are alternatives of or similar to suslik

haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Stars: ✭ 48 (-55.14%)
Mutual labels:  smt
plur
PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. We provide scripts for downloading, processing, and loading the datasets. This is done by offering a unified API and data structures for all datasets.
Stars: ✭ 67 (-37.38%)
Mutual labels:  program-synthesis
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
Stars: ✭ 31 (-71.03%)
Mutual labels:  smt
py2many
Transpiler of Python to many other languages
Stars: ✭ 420 (+292.52%)
Mutual labels:  smt
fcsl-pcm
Partial Commutative Monoids
Stars: ✭ 20 (-81.31%)
Mutual labels:  separation-logic
Popper
Popper is an inductive logic programming (ILP) system.
Stars: ✭ 95 (-11.21%)
Mutual labels:  program-synthesis
GAS
Generative Art Synthesizer - a python program that generates python programs that generates generative art
Stars: ✭ 42 (-60.75%)
Mutual labels:  program-synthesis
mailer-plugin
This plugin allows you to configure email notifications for build results
Stars: ✭ 35 (-67.29%)
Mutual labels:  smt
neural inverse knitting
Code for Neural Inverse Knitting: From Images to Manufacturing Instructions
Stars: ✭ 30 (-71.96%)
Mutual labels:  program-synthesis
TargomanSMT
Targoman SMT framework source code
Stars: ✭ 29 (-72.9%)
Mutual labels:  smt
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Stars: ✭ 22 (-79.44%)
Mutual labels:  smt
stevia
A simple (unfinished) SMT solver for QF_ABV.
Stars: ✭ 30 (-71.96%)
Mutual labels:  smt
PythonProgrammingPuzzles
A Dataset of Python Challenges for AI Research
Stars: ✭ 858 (+701.87%)
Mutual labels:  program-synthesis
scalogno
prototyping logic programming in Scala
Stars: ✭ 38 (-64.49%)
Mutual labels:  smt
deepcoder
Deepcoder paper implementation
Stars: ✭ 96 (-10.28%)
Mutual labels:  program-synthesis
neuro-symbolic-ai-soc
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Stars: ✭ 41 (-61.68%)
Mutual labels:  program-synthesis
Arc
The Abstraction and Reasoning Corpus
Stars: ✭ 1,598 (+1393.46%)
Mutual labels:  program-synthesis
autogoal
A Python framework for program synthesis with a focus on Automated Machine Learning.
Stars: ✭ 153 (+42.99%)
Mutual labels:  program-synthesis
apps
APPS: Automated Programming Progress Standard (NeurIPS 2021)
Stars: ✭ 174 (+62.62%)
Mutual labels:  program-synthesis
awesome-program-synthesis
An curated list of papers on program synthesis.
Stars: ✭ 56 (-47.66%)
Mutual labels:  program-synthesis
L2
λ² is a tool for synthesizing functional programs from input-output examples.
Stars: ✭ 59 (-44.86%)
Mutual labels:  program-synthesis
Yices2
The Yices SMT Solver
Stars: ✭ 248 (+131.78%)
Mutual labels:  smt
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+125.23%)
Mutual labels:  smt
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (+85.98%)
Mutual labels:  smt
Manticore
Symbolic execution tool
Stars: ✭ 2,599 (+2328.97%)
Mutual labels:  smt
Apalache
APALACHE: symbolic model checker for TLA+
Stars: ✭ 187 (+74.77%)
Mutual labels:  smt
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+1928.97%)
Mutual labels:  smt
Boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Stars: ✭ 172 (+60.75%)
Mutual labels:  smt
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Stars: ✭ 1,934 (+1707.48%)
Mutual labels:  smt
Precious Plastic Kit
Precious Plastic Downloadpack
Stars: ✭ 136 (+27.1%)
Mutual labels:  smt
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (+16.82%)
Mutual labels:  smt
Jlcparts
Better parametric search for components available for JLC PCB assembly
Stars: ✭ 114 (+6.54%)
Mutual labels:  smt
Eustathios Spider V2
Update to Eustathios with a little bit of HercuLien Design Changes
Stars: ✭ 107 (+0%)
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 (-0.93%)
Mutual labels:  smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Stars: ✭ 93 (-13.08%)
Mutual labels:  smt
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
Stars: ✭ 91 (-14.95%)
Mutual labels:  smt
Java Smt
JavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (-17.76%)
Mutual labels:  smt
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✭ 79 (-26.17%)
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 (-31.78%)
Mutual labels:  smt
Dreal4
SMT Solver for Nonlinear Theories of Reals
Stars: ✭ 72 (-32.71%)
Mutual labels:  smt
Liquidhaskell
Liquid Types For Haskell
Stars: ✭ 863 (+706.54%)
Mutual labels:  smt
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Stars: ✭ 476 (+344.86%)
Mutual labels:  smt
Adafruit cad parts
CAD files for various boards, components and parts
Stars: ✭ 386 (+260.75%)
Mutual labels:  smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+228.97%)
Mutual labels:  smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+218.69%)
Mutual labels:  smt
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (+216.82%)
Mutual labels:  smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+185.05%)
Mutual labels:  smt
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
Stars: ✭ 83 (-22.43%)
Mutual labels:  smt
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 (-71.96%)
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 (-81.31%)
Mutual labels:  smt
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+9.35%)
Mutual labels:  smt
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Stars: ✭ 35 (-67.29%)
Mutual labels:  smt
proof-tree-builder.github.io
A web-based graphical proof assistant for LK and Hoare logic.
Stars: ✭ 17 (-84.11%)
Mutual labels:  hoare-logic
vercors
The VerCors verification toolset for verifying parallel and concurrent software
Stars: ✭ 30 (-71.96%)
Mutual labels:  separation-logic
tutoriel wp
Frama-C and WP tutorial
Stars: ✭ 31 (-71.03%)
Mutual labels:  deductive-reasoning
1-55 of 55 similar projects