bobot Goto Github PK

absolute

Constraint solver based on abstract domains

acsl

Sources for the ANSI/ISO C Specification Language manual

antic

Algebraic Number Theory In C

arb

C library for arbitrary-precision ball arithmetic

asciidoctor.org

:globe_with_meridians: Asciidoctor project site. Composed in AsciiDoc. Baked with Awestruct.

bloomf

Bloomf - Efficient Bloom filters for OCaml

calcium

Exact real and complex numbers in C

calendar-cli

Simple command-line CalDav client, for adding and browsing calendar items, todo list items

camlhighlight

Camlhighlight provides syntax highlighting facilities for Ocsigen applications

camlzip

Reading and writing zip and gzip files from OCaml

camomile

A Unicode library for OCaml

cmdliner

Declarative definition of command line interfaces for OCaml

cvc4

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

cvc4.old-svn

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

dolmen

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

euproofinfra

European e-Infrastructure on Formal Proofs

extunix

Fork of: Thin OCaml bindings to various low-level system APIs which are not covered by Unix module

fabric-chaincode-haskell

Haskell support for smart contracts in Hyperledger Fabric

fabric-chaincode-ocaml

OCaml support for smart contracts in Hyperledger Fabric

feather

A shell library for OCaml

fetedelascienceinriasaclay

Fête de la science INRIA saclay

flint2

FLINT (Fast Library for Number Theory)

floatsygus

Use CVC4 for generating FP domain propagation

fmt

OCaml Format pretty-printer combinators

frama-c-ocaml-ctypes

gecode

Generic Constraint Development Environment

generic

Generic Programming Library for OCaml

gitlab-shell

Replacement for gitolite

gitlabhq

Project management and code hosting application. Follow us on twitter @gitlabhq

jbuilder

A composable build system for OCaml