P

programming languages

A link aggregator, written in OCaml

Planet Rocq: https://rocq.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.