smuenzel Goto Github PK

bcachefs

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)

bitwuzla

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”.

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

btor2tools

A generic parser and tool package for the BTOR2 format.

c11parser

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

cadical

CaDiCaL SAT Solver

caradoc

A PDF parser and validator

coq-of-ocaml

Formal verification for OCaml

core_unix

Unix-specific portions of Core

cryptominisat

An advanced SAT solver

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

dracut

dune

A composable build system for OCaml.

elpi

Embeddable Lambda Prolog Interpreter

fast_bitvector

flambda-backend

The Flambda backend project for OCaml

gh-mirror

Mirror all GitHub repositories for a user, maintaining metadata.

git

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.

js-opam-repository

Opam repository for the development version of Jane Street packages

kissat

libatomic_ops

The atomic_ops project (Atomic memory update operations portable implementation)

libpoly

LibPoly is a C library for manipulating polynomials

liburing

lingeling

Lingeling SAT Solver

linux

Linux kernel source tree

mc2

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

mercury

The Mercury logic programming system.

merlin

Context sensitive completion for OCaml in Vim and Emacs