martin-neuhaeusser

followers

0

following

0

stars

CertiK

Nürnberg, Germany

Martin R. Neuhäußer's repositories

erlang-verifier

LTL model checking of Core-Erlang using term rewriting techniques.

Language:ErlangGPL-3.04 10

batteries-included

Batteries Included project

Language:OCamlNOASSERTION000

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0000

bug-reports

Language:C++MIT000

ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

Language:OCamlNOASSERTION010

ocaml_bug

Minimal example of a bug in OCaml's garbage collection code for weak pointers.

Language:C010

ocamlbuild

OCamlbuild

Language:OCamlNOASSERTION000

ocamlgraph

OCaml graph library

Language:PostScriptNOASSERTION000

packages

Temporary repo for testing purposes

000

smartace

Language:C++GPL-3.0000

SmartPulseTool

000

ultimate

000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Language:OCamlNOASSERTION000