Molecular Mechanics in OCaml
BSD-3-CLAUSE License
Statistics for this project are still being loaded, please check back later.
Chemoinformatics tool for ligand-based virtual screening
Formal verification for OCaml
The core OCaml system: compilers, runtime system, base libraries
Compiler from OCaml to Javascript.
OCaml Amqp client library for Async and Lwt.
Simple, efficient iterators for OCaml
MolEnc: a molecular encoder using rdkit and OCaml.
Molecular Generation by Fast Assembly of SMILES Fragments
ligand-based virtual screening with consensus queries
Parser combinators built for speed and memory efficiency
A generative datatype toolkit for OCaml centric workflows
opam is a source-based package manager. It supports multiple simultaneous compiler installations,...
Mostly Automated Proof Repair for Verified Libraries
OCaml bindings to MuJoCo