Andres Noetzli (4tXJ7f)

4tXJ7f

Geek Repo

Company:@cubist-dev

Github PK Tool:Github PK Tool


Organizations
CVC4
cvc5

Andres Noetzli's repositories

alive

Alive: Automatic LLVM's Instcombine Verifier

Language:PythonLicense:Apache-2.0Stargazers:6Issues:5Issues:0

cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:2Issues:4Issues:18
Language:ShellStargazers:1Issues:3Issues:0

ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

Language:PythonLicense:GPL-3.0Stargazers:1Issues:3Issues:0

hammerpass

Hammerspoon script for the pass password manager

Language:LuaLicense:MITStargazers:1Issues:3Issues:0

ub-canaries

collection of C/C++ programs that try to get compilers to exploit undefined behavior

Language:CLicense:MITStargazers:1Issues:3Issues:0

aws-deployment-pipeline-reference-architecture

Reference architecture for deployment pipelines

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:PythonLicense:MIT-0Stargazers:0Issues:0Issues:0

axelar-docs

Resources & Documentation for Axelar Network

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:3Issues:0

CTFP

Constant-Time Floating Point

Language:CStargazers:0Issues:3Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

dolmen

An OCaml library providing clean and flexible parser for languages used in automated deduction

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0
Stargazers:0Issues:3Issues:0

haskell-boolector

Haskell bindings for the Boolector SMT solver

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

homebrew-core

🍻 Default formulae for the missing package manager for macOS

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

homebrew-cvc4

Homebrew formula for CVC4

Language:RubyStargazers:0Issues:3Issues:0

LFSC

LFSC Proof Checker

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:Vim scriptStargazers:0Issues:3Issues:0

pysmt

pySMT: A library for SMT formulae manipulation and solving

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0
Language:PythonStargazers:0Issues:3Issues:0

symfpu

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:3Issues:0

trace-executor

A simple SMT-LIB v2 trace executor.

Language:SMTStargazers:0Issues:3Issues:0
Language:ShellStargazers:0Issues:4Issues:0

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeXStargazers:0Issues:3Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:3Issues:0

z3test

Test and benchmark repository for Z3.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:3Issues:0