Marcello Seri

doi2bib

OCaml 0 0

Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)

Updated 2026-09-11 07:32:05 +00:00

BET

Lean 0 0

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

Updated 2026-09-10 19:58:08 +00:00

get_missing

OCaml 1 0

Updated 2026-09-10 16:00:42 +00:00

mseri.github.io

HTML 0 0

Blog

Updated 2026-09-09 16:01:20 +00:00

blog

HTML 1 0

Hugo Raw Blog Content

Updated 2026-09-09 16:01:00 +00:00

zunzuncito

C 1 0

zunzuncito — Gemma-4 26B-A4B colibrì engine for a small-RAM machine

Updated 2026-09-06 16:35:18 +00:00

granite-speech-5.cpp

C 0 0

C and optionally metal engine for granite speech 5.0 STT

Updated 2026-09-03 17:38:51 +00:00

academic

HTML 0 0

Skeleton for my academic website

Updated 2026-09-03 08:08:51 +00:00

analysis_rug

Rocq Prover 0 0

Course material for https://ocasys.rug.nl/current/catalog/course/WBMA012-05

Updated 2026-09-01 08:13:06 +00:00

kokoro-reader

Python 0 0

Rudimentary kokoro script to read out text

Updated 2026-08-27 08:39:39 +00:00

pde2019

Jupyter Notebook 0 0

Demo notebooks for the PDE course

Updated 2026-05-11 06:45:38 +00:00

contact-variational-integrator

Jupyter Notebook 0 0

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

Updated 2026-04-28 09:37:24 +00:00

contact-integrators

Jupyter Notebook 0 0

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

Updated 2026-04-28 09:35:41 +00:00

AoM

TeX 1 0

Lecture notes of the course Analysis On Manifolds

Updated 2026-04-02 08:26:14 +00:00

snf-mcp

OCaml 0 0

A Model Context Protocol server for DuckDuckGo search and web content fetching (using ocaml-mcp by avsm)

Updated 2026-03-13 16:17:03 +00:00