Seb Mondet

trakeva. Transactions, Keys, and Values

promiwag. Generating packet parsing code ...

plawireg. Play with The Reference Graph

cohttps-server-example. Short code example of an HTTPS server using Cohttp/Lwt-ssl

atd2cconv. Convert Atd descriptions to pure OCaml that uses the CConv library

makmash. Make Markdown Slides Hackishly …

ocsibase. DEPRECATED: This was Ready-to-clone base for an old version of Ocsigen web-application

dibrawi. In-progress Distributed Wiki with OCaml, Bracetax, Sebib, ...

pbs. Wrapper around PBS commands, and maybe some day protocol implementation

omake-hacks. Library of OMake scripts to include in your projects (DEPRECATED)

dibigrob. Display Biggish Graphs On a Browser

flow. DEPRECATED: Exceptionless “systems” library on top of Core and Lwt (and one day Async?)

tweed. Yet another bunch of experiments on top of Nottui

oredoc. Build documentation for some OCaml projects

sebib. Sebib: S-Expressions for Bibliography

bracetax. Simple and deterministic text processing syntax

bfx-opam-repo. Opam repository to install bioinformatics tools (non-OCaml)

multi-git. Scripts that deal with a bunch of git repositories

cosc. Compose Services with Screen

rng-contest. Ketrew pipeline that runs PRNG test suite(s) (for now just Dieharder)

yaboon. Automatically exported from code.google.com/p/yaboon

pglocal. Tiny app that drives postgres for my use case

awesome-coq. A curated list of awesome Coq frameworks, libraries and software.

ocaml-avro. Manipulation of Apache Avro Schemas

simple_pam. Tiny binding around PAM

dircmp. Small OCaml tool to compare big directories with MD5 hashes

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

opam-repo-fix7013. Opam repository with OCaml 4.03.2 + the fix to 7013

smondet.github.com. SMondet's website

caml2html. Syntax highlighter for OCaml

gen-smartml. Experiment using SmartML as a library

ctrlp-insert_from_systemlist. Call a shell command, pick a line with CtrlP, insert it.

eliom6-tests. Some experiments with eliom 6 and mobile apps

anyweb. Quick hack for literate programming

build-docs-workflow. Use Ketrew to build the documentation of a bunch of projects

locoseq. Automatically exported from code.google.com/p/locoseq