A link aggregator, written in OCaml

Planet Coq: https://coq.pl-a.net

Haskell Planetarium: https://haskell.pl-a.net