Dopamine is a research framework for fast prototyping of reinforcement learning algorithms.
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
A composable build system for OCaml.
- build
- ocaml
- opam
- dune
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Generate nix expressions from opam packages
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Tool to convert OASIS metadata to OPAM package descriptions
Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
Docker images of coq-mathcomp [maintainer=?]