Hacker GitHub

← All repos

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

Mentions per year 5 mentions · busiest year 2014 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …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
  2. 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