Agda is a dependently typed programming language / interactive theorem p...
Beef Programming Language
A list of resources in different fields of Computer Science
A Nonsense Collection of Disgusting Codes
Lean Theorem Prover
The Flix Programming Language
ACM-ICPC Preparation Guide
Minimal, efficient, statically-typed and meta-programmable systems progr...
lamdu - towards the next generation IDE
A curated list of games that can teach you how to learn a programming la...
Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScr...
The Lux Programming Language
Clojure for the Erlang VM (unofficial)
Darklang main repo, including language, backend, and infra
Factor programming language