mseri

doi2bib

Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID

AoM

Lecture notes of the course Analysis On Manifolds

hammech20

Lecture Notes for the Hamiltonian Mechanics course

BET

Project for "Machine-Checked Mathematics" at the Lorentz Center

contact-variational-integrator

Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators

pde2019

Demo notebooks for the PDE course

contact-integrators

Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"

.dotfiles

some of my dotfiles

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

owl

Owl is an OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.

academic

Skeleton for my academic website

blog

Hugo Raw Blog Content

diskuv-opam-repository

Supplemental public package repository for opam, the source package manager of OCaml.

euler-lib

Fork of https://gitlab.crans.org/mevel/euler-lib

get_missing

lacaml

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

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.

mathlib4

Work in progress mathlib port for lean 4

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

serde.ml

Serialization framework for OCaml

the-sourdough-framework

Open source book dedicated to helping you to make the best possible sourdough bread at home.

vscode-ocaml-platform

Visual Studio Code extension for OCaml

yaran

A Lisp parser