Explore projects
-
-
pred-tv / SMTCoq
CeCILL-C Free Software License AgreementFork of https://github.com/smtcoq/smtcoq.
Updated -
Updated
-
Updated
-
-
A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.
Updated -
Updated
-
POTTIER Francois / sequel
GNU General Public License v3.0 or laterA complement to OCaml's Seq.
Updated -
POTTIER Francois / sek
GNU General Public License v3.0 or laterAn efficient OCaml implementation of ephemeral and persistent sequences
Updated -
Updated
-
popstar / SAT-Equiv
GNU Affero General Public License v3.0SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.
Updated -
Updated
-
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
-
Thierry Martinez / redirect
BSD 3-Clause "New" or "Revised" LicenseOCaml library for channel redirection
Updated -
Vincent Tourneur / readline-ocaml
CeCILL Free Software License Agreement v2.0Updated -
-