Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

hacktoberfest mld odoc

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/ghios7

An iOS7 inspired Ghost theme

Last synced: 12 Oct 2024

https://github.com/mseri/ghiOS7

An iOS7 inspired Ghost theme

Last synced: 03 Nov 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/pde2019

Demo notebooks for the PDE course

Last synced: 12 Oct 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

python xapi xml-database

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

rust xapi xmlrpc

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/.dotfiles

some of my dotfiles

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/ws-vnc

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/ocra

ocra.js

Last synced: 12 Oct 2024

https://github.com/mseri/mathcal

BI's Mathematical Events Calendar

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/owl_tutorials

Owl Tutorial Book V1

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/spattle

Last synced: 12 Oct 2024

https://github.com/mseri/ocaml-expect

Expect-like framework

Last synced: 12 Oct 2024

https://github.com/mseri/im-redirect

Last synced: 12 Oct 2024

https://github.com/mseri/get_missing

Last synced: 12 Oct 2024

https://github.com/mseri/playground

Last synced: 08 Nov 2024

https://github.com/mseri/mseri.github.io

Blog

Last synced: 12 Oct 2024

https://github.com/mseri/blog

Hugo Raw Blog Content

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/academic

Skeleton for my academic website

Last synced: 12 Oct 2024

https://github.com/mseri/ollama

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