andrejbauer/plzoo
View on GitHub ↗ ★ 1,601 OCaml
Programming Languages Zoo
5 mentions on Hacker News by 5 people: 3 stories, 2 comments · first 2014-04-01 · latest 2025-08-18
20082026
-
…unidirectional algorithm And some of the languages in the PL Zoo - https://plzoo.andrej.com/ like https://github.com/andrejbauer/plzoo/blob/master/src/sub/typ... , although I am not quite sure related thread:…
comment by chubot · 2025-08-18 · in Typechecker Zoo -
▲ 3
The Programming Languages Zoostory by mbrodersen · 2022-07-19 · 0 comments
-
▲ 1
The Programming Languages Zoostory by intuitionist · 2018-10-20 · 0 comments
-
▲ 1
The Programming Languages Zoostory by TheAsprngHacker · 2017-12-12 · 0 comments
-
And more mini-languages which are implemented in Ocaml, here: https://github.com/andrejbauer/plzoo
comment by vrotaru · 2014-04-01 · in A micro compiler in Ocaml