Beast code in Giters

Zak Kincaid's repositories

duet

Duet: static analysis for unbounded concurrency

Language:OCamlMIT23 7 6

srk

Symbolic Reasoning Kit

Language:OCaml8 2 1

bench

Language:SMT200

ocaml-mathsat

OCaml bindings for MathSAT 5

Language:OCaml200

duet-gps

Language:SMTMIT100

llvm2smt

OCaml library to transform an Llvm control flow graph in an SMT formula.

Language:OCamlLGPL-2.11 20

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:OCamlCC0-1.0100

cbmc

C Bounded Model Checker

Language:SWIGNOASSERTION000

cdcl

Interactive demonstration of Conflict-Drive Clause Learning

000

cil

C Intermediate Language

Language:OCamlNOASSERTION000

deriving

Extension to OCaml for deriving functions from type declarations.

Language:OCamlMIT020

dune

A composable build system for OCaml.

Language:OCamlMIT000

jennLang

Language:OCaml000

ocaml-buddy

binding for the BDD buddy library

Language:OCamlNOASSERTION000

ocaml-ntl

OCaml bindings to NTL

Language:OCamlMIT000

OCRS

Language:OCaml000

pavmark

Program analysis and verification benchmarks

Language:C000

proof-tree-builder

A web-based graphical proof assistant for LK and Hoare logic.

Language:JavaScriptMIT000

researchr-booklet-ocaml

Scripts to generate LaTeX schedule from researchr.org exported XML

Language:TeX000

strategy-improvement

Language:OCamlMIT000

sv-opam

Repository for OPAM packages related to software verification

02 1

termite

A termination analyser

Language:OCaml000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000

z3overlay

An overlay for the OCaml Z3 binding.

MIT000