Repository Index

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

• genealogy
• software
• web
• database

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

mustache.js logic-less templates in OCaml

• ocaml
• mustache-templates
• mustache

A library to build and execute typed scientific workflows

• ocaml
• bioinformatics
• computational-biology
• workflow

A dumb OCaml logger

• minimalist
• logging
• ocaml-library
• logger

Volt - A variant of Bolt OCaml logging tool

A structured logger for Fluentd (OCaml)