Stars
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2023
Quickly generate HTML documentation from a JSON schema
Script that greps anything in the sources of every opam packages
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…
Reading and writing zip and gzip files from OCaml
Javascripts stubs for the Zarith library
An ocaml implementation of conflict-driven reasoning
SRI LibPoly is a C library for manipulating polynomials
Release snapshots of the Frama-C platform for source code analysis
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files
Library for binding to C libraries using pure OCaml
Declarative definition of command line interfaces for OCaml
The core OCaml system: compilers, runtime system, base libraries
Migrate to PostgreSQL in a single command!
GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com
Remake, a build system that bridges the gap between make and redo
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.