Discover @mseri Open Source projects

Marcello Seri (@mseri)

mseri

Stars
262
Global Rank 99,413 (Top 4 %)
Followers 155
Following 138
Registered over 11 years ago
Most used languages

Jupyter Notebook
25.0 %

OCaml
17.9 %

JavaScript
10.7 %

Rust
10.7 %

TeX
7.1 %

Python
7.1 %

CSS
7.1 %

Haskell
7.1 %

Lean 3.6 %

Lua
3.6 %
Location 🇳🇱 Netherlands
Country Total Rank 1,803
Country Ranking

OCaml
2

Lean 14

TeX
47

Haskell
71

CSS
81

Jupyter Notebook
287

Rust
287

Lua
497

JavaScript
1,359

Python
3,479

doi2bib

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

purity

a PureCSS responsive Ghost theme, with snippets for many comment systems and social icons ready to be used.

md2mld

Little cli to convert md files into mld files

rails-purecss

Integrate pure (purecss.io) to ruby on rails

AoM

Lecture notes of the course Analysis On Manifolds

fbmessenger-api-hs

High-level bindings to the Messenger Platform API based on servant library.

ocaml-gr

[wip]…Low level bindigs to the GR plotting framework (gr-framework.org)

cargo-ssearch

cargo ssearch: cargo search on steroids

hammech20

Lecture Notes for the Hamiltonian Mechanics course

HP-EliteDesk-800-G2-DM-Hackintosh

ghiOS7

An iOS7 inspired Ghost theme

ocaml-clz

Compression support for cohttp-lwt using decompress

intro_to_python

8hrs intro to python for mathematicians (Reading University, Enhancement Week)

Jupyter Notebook

ocaml-cviode

Contact variational integrators - native ocaml implementation

contact-variational-integrator

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

Jupyter Notebook

owlde-demo-icfp2019

Demos for OwlDE ICFP 2019 talk

Jupyter Notebook

xapitodict

Import raw xml xapi database dumps into python dictionaries or json

pde2019

Demo notebooks for the PDE course

Jupyter Notebook

contact-integrators

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

Jupyter Notebook

xapirpc-rs

Minimal RPC client for communication with xapi - more a PoC than anything else

tweetpix

A small script, on its way to become a bot, to get appropriate CC images from flickr, pixellize them and publish them on twitter

ProjectChaosTheory

Demos for Project Chaos Theory intro, moved to teachingplayground repo

Jupyter Notebook

ocra

gsi2021

Bravetti, Seri, Zadra: New directions for contact integrators. Proceeding for GSI 2021

Jupyter Notebook

ws-vnc

crypto-multihash

Multihash library on top of haskell's cryptonite crypto library

.dotfiles

some of my dotfiles

BET

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

pplofthesoil

Soil is a result of the Space Apps Challenge London 2013. It's aim is to provide an open, extremely cheap and easy to use system to collect soil data, manage it and make it globally available.