Explore projects
-
Li-yao Xia / coq-planet
MIT LicenseA link aggregator, written in OCaml
Planet Coq: https://coq.pl-a.net
Haskell Planetarium: https://haskell.pl-a.net
Updated -
Groundhog Dojo / groundhog-dojo
MIT LicenseGroundhog 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.
Updated -
-
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
Updated