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 steroidsHP-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 Centerpplofthesoil
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.Love Open Source and this site? Check out how you can help us