programming languages

A link aggregator, written in OCaml

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

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

Groundhog Dojo is a platform for polishing coding skills using simple tasks and a small dose of stress. GD supports multiple programming languages and editors, and it's easy to extend with new features.