The Programming Languages Zoo
About the zoo The Programming Languages Zoo is a collection of miniature programming languages which demonstrates various concepts and techniques used in programming language design and implementation. It is a good starting point for those who would like to implement their own programming language, or just learn how it is done. The following features are demonstrated: functional, declarative, obje
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - andrejbauer/plzoo: Programming Languages Zoo
GitHub - leanprover/lean4: Lean 4 programming language and theorem prover