Marcello Seri's repositories
contact-variational-integrator
Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators
contact-integrators
Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
diskuv-opam-repository
Supplemental public package repository for opam, the source package manager of OCaml.
lean-mathlib4-starter
Repo with the bare bones to start playing with lean
libc.ml
Raw bindings to platform APIs for OCaml
macports-ports
The MacPorts ports tree
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
mseri.github.io
Blog
ocaml-afl-persistent
persistent-mode afl-fuzz for ocaml
ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
ocaml-conduit
Dereference URIs into communication channels for Async or Lwt
ocamlearlybird
OCaml debug adapter
vscode-ocaml-platform
Visual Studio Code extension for OCaml