Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

rocq-planet

Project information

A link aggregator, written in OCaml

Planet Rocq: https://rocq.pl-a.net

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

programming ... community social media

178 Commits
2 Branches
0 Tags

README
MIT License

Created on

July 17, 2020

Loading