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.

HeLiX language

So many different programming languages out there, It is good to have notes that help me remember how things worked for specific languages that I've come in contact with, services and programs