Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by mseri
A curated list of projects in awesome lists by mseri .
https://github.com/mseri/doi2bib
Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
arxiv bibtex doi hacktoberfest ocaml
Last synced: 28 Oct 2024
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: 28 Oct 2024
https://github.com/mseri/md2mld
Little cli to convert md files into mld files
Last synced: 28 Oct 2024
https://github.com/mseri/rails-purecss
Integrate pure (purecss.io) to ruby on rails
Last synced: 28 Oct 2024
https://github.com/mseri/aom
Lecture notes of the course Analysis On Manifolds
differential-geometry lecture-notes
Last synced: 12 Oct 2024
https://github.com/mseri/fbmessenger-api-hs
High-level bindings to the Messenger Platform API based on servant library.
Last synced: 28 Oct 2024
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: 12 Oct 2024
https://github.com/mseri/cargo-ssearch
cargo ssearch: cargo search on steroids
cargo cargo-subcommand cli crates plugin search
Last synced: 12 Oct 2024
https://github.com/mseri/hammech20
Lecture Notes for the Hamiltonian Mechanics course
classical-physics hamiltonian-systems lecture-notes mathematics mechanics
Last synced: 12 Oct 2024
https://github.com/mseri/ocaml-clz
Compression support for cohttp-lwt using decompress
Last synced: 12 Oct 2024
https://github.com/mseri/bet
Project for "Machine-Checked Mathematics" at the Lorentz Center
Last synced: 12 Oct 2024
https://github.com/mseri/BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Last synced: 29 Nov 2024
https://github.com/mseri/owlde-demo-icfp2019
Demos for OwlDE ICFP 2019 talk
Last synced: 18 Dec 2024
https://github.com/mseri/intro_to_python
8hrs intro to python for mathematicians (Reading University, Enhancement Week)
Last synced: 12 Oct 2024
https://github.com/mseri/contact-variational-integrator
Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators
Last synced: 18 Dec 2024
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: 12 Oct 2024
https://github.com/mseri/xapitodict
Import raw xml xapi database dumps into python dictionaries or json
Last synced: 12 Oct 2024
https://github.com/mseri/ocaml-cviode
Contact variational integrators - native ocaml implementation
geometric-integrator hacktoberfest solvers
Last synced: 12 Oct 2024
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: 12 Oct 2024
https://github.com/mseri/xapirpc-rs
Minimal RPC client for communication with xapi - more a PoC than anything else
Last synced: 12 Oct 2024
https://github.com/mseri/crypto-multihash
Multihash library on top of haskell's cryptonite crypto library
Last synced: 12 Oct 2024
https://github.com/mseri/gsi2021
Bravetti, Seri, Zadra: New directions for contact integrators. Proceeding for GSI 2021
geometric-algorithms numerical-integration
Last synced: 12 Oct 2024
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: 12 Oct 2024
https://github.com/mseri/rails-purecss-will_paginate
Add support to will_paginate to purecss
Last synced: 12 Oct 2024
https://github.com/mseri/pelican-purity
Pelican port of the Purity Ghost theme
Last synced: 12 Oct 2024
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: 12 Oct 2024
https://github.com/mseri/blackholes
Some experiments on light and black holes
Last synced: 12 Oct 2024
https://github.com/mseri/lean-mathlib4-starter
Repo with the bare bones to start playing with lean
Last synced: 12 Oct 2024
https://github.com/mseri/euler-lib
Fork of https://gitlab.crans.org/mevel/euler-lib
Last synced: 12 Oct 2024
https://github.com/mseri/rearrangements
A little demo to see rearrangements of the harmonic series
Last synced: 05 Dec 2024