Projects in Awesome Lists by mseri
A curated list of projects in awesome lists by mseri .
https://github.com/mseri/doi2bib
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)
arxiv bibtex doi hacktoberfest ocaml
Last synced: 28 Feb 2026
https://github.com/mseri/purity
a PureCSS responsive Ghost theme, with snippets for many comment systems and social icons ready to be used.
Last synced: 23 Mar 2025
https://github.com/mseri/md2mld
Little cli to convert md files into mld files
Last synced: 21 Mar 2025
https://github.com/mseri/aom
Lecture notes of the course Analysis On Manifolds
differential-geometry lecture-notes
Last synced: 22 Jan 2026
https://github.com/mseri/rails-purecss
Integrate pure (purecss.io) to ruby on rails
Last synced: 21 Mar 2025
https://github.com/mseri/ocaml-gr
[wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
gr-framework hacktoberfest plotting plotting-framework
Last synced: 10 Apr 2025
https://github.com/mseri/fbmessenger-api-hs
High-level bindings to the Messenger Platform API based on servant library.
Last synced: 15 Jun 2025
https://github.com/mseri/cargo-ssearch
cargo ssearch: cargo search on steroids
cargo cargo-subcommand cli crates plugin search
Last synced: 14 May 2025
https://github.com/mseri/hammech20
Lecture Notes for the Hamiltonian Mechanics course
classical-physics hamiltonian-systems lecture-notes mathematics mechanics
Last synced: 01 Feb 2026
https://github.com/mseri/ocaml-clz
Compression support for cohttp-lwt using decompress
Last synced: 10 Apr 2025
https://github.com/mseri/BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Last synced: 22 Jul 2025
https://github.com/mseri/bet
Project for "Machine-Checked Mathematics" at the Lorentz Center
Last synced: 03 Aug 2025
https://github.com/mseri/owlde-demo-icfp2019
Demos for OwlDE ICFP 2019 talk
Last synced: 05 Apr 2025
https://github.com/mseri/intro_to_python
8hrs intro to python for mathematicians (Reading University, Enhancement Week)
Last synced: 14 Jun 2025
https://github.com/mseri/xapitodict
Import raw xml xapi database dumps into python dictionaries or json
Last synced: 10 Apr 2025
https://github.com/mseri/contact-variational-integrator
Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators
Last synced: 05 Apr 2025
https://github.com/mseri/contact-integrators
Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"
Last synced: 15 Mar 2025
https://github.com/mseri/ocaml-cviode
Contact variational integrators - native ocaml implementation
geometric-integrator hacktoberfest solvers
Last synced: 11 Jul 2025
https://github.com/mseri/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
Last synced: 15 Mar 2025
https://github.com/mseri/xapirpc-rs
Minimal RPC client for communication with xapi - more a PoC than anything else
Last synced: 12 Jun 2025
https://github.com/mseri/gsi2021
Bravetti, Seri, Zadra: New directions for contact integrators. Proceeding for GSI 2021
geometric-algorithms numerical-integration
Last synced: 08 Sep 2025
https://github.com/mseri/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.
Last synced: 15 Mar 2025
https://github.com/mseri/crypto-multihash
Multihash library on top of haskell's cryptonite crypto library
Last synced: 12 Jun 2025
https://github.com/mseri/lean-mathlib4-starter
Repo with the bare bones to start playing with lean
Last synced: 02 Jan 2026
https://github.com/mseri/euler-lib
Fork of https://gitlab.crans.org/mevel/euler-lib
Last synced: 29 Jul 2025
https://github.com/mseri/rearrangements
A little demo to see rearrangements of the harmonic series
Last synced: 27 Mar 2025
https://github.com/mseri/rails-purecss-will_paginate
Add support to will_paginate to purecss
Last synced: 15 Mar 2025
https://github.com/mseri/pelican-purity
Pelican port of the Purity Ghost theme
Last synced: 15 Mar 2025
https://github.com/mseri/blackholes
Some experiments on light and black holes
Last synced: 15 Mar 2025
https://github.com/mseri/snf-mcp
A Model Context Protocol server for DuckDuckGo search and web content fetching (using ocaml-mcp by avsm)
fetch-tools mcp-server ocaml search
Last synced: 05 Jul 2025
https://github.com/mseri/savebattery
Save Your Battery - A small status bar application for MacOSX (10.8+) that tells you when to plug and unplug your battery to increase its life
Last synced: 11 Feb 2026