mseri/ocaml-clz mseri/ocaml-clz

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mseri/ocaml-clz
github

mseri

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Compression support for cohttp-lwt using decompress

More Repositories

1

doi2bib

Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
OCaml
55
star
2

purity

a PureCSS responsive Ghost theme, with snippets for many comment systems and social icons ready to be used.
CSS
33
star
3

md2mld

Little cli to convert md files into mld files
OCaml
27
star
4

rails-purecss

Integrate pure (purecss.io) to ruby on rails
JavaScript
23
star
5

AoM

Lecture notes of the course Analysis On Manifolds
TeX
17
star
6

fbmessenger-api-hs

High-level bindings to the Messenger Platform API based on servant library.
Haskell
14
star
7

ocaml-gr

[wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
OCaml
13
star
8

cargo-ssearch

cargo ssearch: cargo search on steroids
Rust
10
star
9

hammech20

Lecture Notes for the Hamiltonian Mechanics course
TeX
8
star
10

HP-EliteDesk-800-G2-DM-Hackintosh

7
star
11

ghiOS7

An iOS7 inspired Ghost theme
CSS
7
star
12

intro_to_python

8hrs intro to python for mathematicians (Reading University, Enhancement Week)
Jupyter Notebook
4
star
13

ocaml-cviode

Contact variational integrators - native ocaml implementation
OCaml
4
star
14

contact-variational-integrator

Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators
Jupyter Notebook
4
star
15

owlde-demo-icfp2019

Demos for OwlDE ICFP 2019 talk
Jupyter Notebook
4
star
16

xapitodict

Import raw xml xapi database dumps into python dictionaries or json
Python
3
star
17

pde2019

Demo notebooks for the PDE course
Jupyter Notebook
3
star
18

contact-integrators

Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"
Jupyter Notebook
2
star
19

xapirpc-rs

Minimal RPC client for communication with xapi - more a PoC than anything else
Rust
2
star
20

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
Python
2
star
21

ProjectChaosTheory

Demos for Project Chaos Theory intro, moved to teachingplayground repo
Jupyter Notebook
2
star
22

ocra

ocra.js
JavaScript
1
star
23

gsi2021

Bravetti, Seri, Zadra: New directions for contact integrators. Proceeding for GSI 2021
Jupyter Notebook
1
star
24

ws-vnc

Rust
1
star
25

crypto-multihash

Multihash library on top of haskell's cryptonite crypto library
Haskell
1
star
26

.dotfiles

some of my dotfiles
Lua
1
star
27

BET

Project for "Machine-Checked Mathematics" at the Lorentz Center
Lean
1
star
28

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.
JavaScript
1
star