P

programming languages

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

A link aggregator, written in OCaml

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

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

A framework to create new languages which run under the JVM

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