Pinned Repositories
AoM
Lecture notes of the course Analysis On Manifolds
cargo-ssearch
cargo ssearch: cargo search on steroids
doi2bib
Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
fbmessenger-api-hs
High-level bindings to the Messenger Platform API based on servant library.
ghiOS7
An iOS7 inspired Ghost theme
hammech20
Lecture Notes for the Hamiltonian Mechanics course
md2mld
Little cli to convert md files into mld files
ocaml-gr
[wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
purity
a PureCSS responsive Ghost theme, with snippets for many comment systems and social icons ready to be used.
rails-purecss
Integrate pure (purecss.io) to ruby on rails
mseri's Repositories
mseri/doi2bib
Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
mseri/md2mld
Little cli to convert md files into mld files
mseri/AoM
Lecture notes of the course Analysis On Manifolds
mseri/hammech20
Lecture Notes for the Hamiltonian Mechanics course
mseri/contact-variational-integrator
Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators
mseri/pde2019
Demo notebooks for the PDE course
mseri/contact-integrators
Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"
mseri/.dotfiles
some of my dotfiles
mseri/BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
mseri/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
mseri/owl
Owl is an OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.
mseri/academic
Skeleton for my academic website
mseri/blog
Hugo Raw Blog Content
mseri/diskuv-opam-repository
Supplemental public package repository for opam, the source package manager of OCaml.
mseri/euler-lib
Fork of https://gitlab.crans.org/mevel/euler-lib
mseri/get_missing
mseri/lacaml
OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
mseri/lean-mathlib4-starter
Repo with the bare bones to start playing with lean
mseri/libc.ml
Raw bindings to platform APIs for OCaml
mseri/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
mseri/mathlib4
Work in progress mathlib port for lean 4
mseri/mseri.github.io
Blog
mseri/ocaml-afl-persistent
persistent-mode afl-fuzz for ocaml
mseri/ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
mseri/ocaml-conduit
Dereference URIs into communication channels for Async or Lwt
mseri/ocamlearlybird
OCaml debug adapter
mseri/serde.ml
Serialization framework for OCaml
mseri/the-sourdough-framework
Open source book dedicated to helping you to make the best possible sourdough bread at home.
mseri/vscode-ocaml-platform
Visual Studio Code extension for OCaml
mseri/yaran
A Lisp parser