Pinned Repositories
cmdliner
Declarative definition of command line interfaces for OCaml
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
FetedelascienceINRIAsaclay
Fête de la science INRIA saclay
frama-c-ocaml-ctypes
ocaml-flint
oci
OCI: framework for continuous integrations and benchmarks
opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-repository
Package descriptions for OPAM
soqool
bobot's Repositories
bobot/ocaml-flint
bobot/dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
bobot/frama-c-ocaml-ctypes
bobot/opam-repository
Package descriptions for OPAM
bobot/acsl
Sources for the ANSI/ISO C Specification Language manual
bobot/antic
Algebraic Number Theory In C
bobot/arb
C library for arbitrary-precision ball arithmetic
bobot/benchpress
Testing and benchmarking tool for logic-related programs.
bobot/calcium
Exact real and complex numbers in C
bobot/fabric-chaincode-ocaml
OCaml support for smart contracts in Hyperledger Fabric
bobot/flint2
FLINT (Fast Library for Number Theory)
bobot/jbuilder
A composable build system for OCaml
bobot/libpoly
LibPoly is a C library for manipulating polynomials
bobot/mlmpfr
OCaml bindings for MPFR
bobot/murxla
A model-based API Fuzzer for SMT Solvers.
bobot/nixpkgs
Nix Packages collection
bobot/ocaml
Personal fork of OCaml
bobot/ocaml-ci
A CI for OCaml projects
bobot/ocaml-ctypes
Library for binding to C libraries using pure OCaml
bobot/ocaml-RFCs
Design discussions about the OCaml language
bobot/ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
bobot/opam-wix
opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
bobot/qcheck
QuickCheck inspired property-based testing for OCaml.
bobot/reach-tech-doc
REACH project technical documentation
bobot/scrambler
A simple scrambler for SMT-LIB 2.6 scripts.
bobot/smt-comp
Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
bobot/smt-comp.github.io
bobot/trace-executor
A simple SMT-LIB v2 trace executor.
bobot/xgboost
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
bobot/yices2
The Yices SMT Solver