Similar repositories to lpeterse/koka:

• lpeterse/koka github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• jaredloomis/russell github similar
• xnning/TypeInfer github similar
• sarsko/CreuSAT github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• expnkx/fast_io github similar
• JoshuaWise/better-sqlite3 github similar
• chambart/ocaml-1 github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• leohawke/LeoEngine github similar
• aquynh/capstone github similar
• CJex/PLPapers github similar
• nullgemm/ly github similar
• alexcrichton/cc-rs github similar
• motemen/gore github similar
• domchristie/turndown github similar
• Averethel/OCamlMin github similar
• postalhq/postal github similar
• k6io/k6 github similar
• jayshah19949596/CodingInterviews github similar
• toeverything/AFFiNE github similar
• joe9/idris-to-9frontc github similar
• pocketbase/pocketbase github similar
• oven-sh/bun github similar
• lholznagel/haskell-mdns github similar
• msp-strath/spls-18 github similar
• mmottl/fun-trans github similar
• unitb/unitb-semantics github similar
• GU-CLASP/ttr github similar
• chambart/ocaml github similar
• adrieng/matcheck github similar
• groupoid/anders github similar
• Ides-Language/Ides github similar