Popular repositories

1. yeah-tiger.github.io yeah-tiger.github.io Public

   Forked from paperswithcode/ai-deadlines

   ⏰ PL conference deadline countdowns

   HTML 44 2

2. naive-pascal-compiler naive-pascal-compiler Public

   A naïve Pascal compiler built with Flex, Bison and LLVM.

   C++ 3

3. coqdocjs coqdocjs Public

   Forked from coq-community/coqdocjs

   CoqdocJS for Metalib and LNgen

   Coq 1 1

4. no-tiger no-tiger Public

   Not Ordinary Tiger Language

   C++ 1