There are no reviews yet. Be the first to send feedback to the community and the maintainers!
doi2bib
Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed IDpurity
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 filesrails-purecss
Integrate pure (purecss.io) to ruby on railsAoM
Lecture notes of the course Analysis On Manifoldsfbmessenger-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 steroidshammech20
Lecture Notes for the Hamiltonian Mechanics courseHP-EliteDesk-800-G2-DM-Hackintosh
ghiOS7
An iOS7 inspired Ghost themeocaml-clz
Compression support for cohttp-lwt using decompressintro_to_python
8hrs intro to python for mathematicians (Reading University, Enhancement Week)ocaml-cviode
Contact variational integrators - native ocaml implementationcontact-variational-integrator
Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integratorsowlde-demo-icfp2019
Demos for OwlDE ICFP 2019 talkxapitodict
Import raw xml xapi database dumps into python dictionaries or jsonpde2019
Demo notebooks for the PDE coursecontact-integrators
Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"xapirpc-rs
Minimal RPC client for communication with xapi - more a PoC than anything elsetweetpix
A small script, on its way to become a bot, to get appropriate CC images from flickr, pixellize them and publish them on twitterProjectChaosTheory
Demos for Project Chaos Theory intro, moved to teachingplayground repoocra
ocra.jsgsi2021
Bravetti, Seri, Zadra: New directions for contact integrators. Proceeding for GSI 2021ws-vnc
crypto-multihash
Multihash library on top of haskell's cryptonite crypto library.dotfiles
some of my dotfilesBET
Project for "Machine-Checked Mathematics" at the Lorentz CenterLove Open Source and this site? Check out how you can help us