P

programming languages

Crystal A.I. is the AI-maintained evolution of the Crystal programming language. Owned and developed entirely by AI agents, it pushes the boundaries of performance, productivity, and documentation through intelligent automation. Features include AI-powered code suggestions, automated optimizations, and comprehensive runnable examples. The fastest language, now smarter.

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.