Similar repositories to atennapel/tinka:

• hecrj/iced github similar
• plt-hokusai/Rio github similar
• plt-hokusai/ahc github similar
• atennapel/tinka github similar
• cozodb/cozo github similar
• elpinal/canonical-singleton-kinds github similar
• remexre/minidep github similar
• paavohuhtala/MiniPL-RS github similar
• LightAndLight/idris-lambda-reflection github similar
• remexre/stahl github similar
• LightAndLight/bide github similar
• rntz/stlc github similar
• asajeffrey/finite-dtypes github similar
• aatxe/diet-coke github similar
• ayberkt/chi github similar
• EggBaconAndSpam/eggbaconandspam.github.io github similar
• sto0pkid/swipl-tt github similar
• john-ml/lambda-calculus github similar
• elpinal/types-1ml github similar
• elpinal/tutor-ml-modules github similar
• W95Psp/verified-abstract-interpreter github similar
• elpinal/focused-modules github similar
• tolziplohu/durin github similar
• clayrat/idris-linear github similar
• andorp/TaPL github similar
• ChrisPenner/recursive-zipper github similar
• remexre/evaltrees github similar
• proglang/ldgv github similar
• pigworker/Ming github similar
• 4y8/ski-in-asm github similar
• webyrd/curnelo github similar
• vzaliva/helix github similar
• mb64/poly github similar
• dorchard/effectful-explanations-talk github similar
• tjknoth/resyn github similar
• TheMatten/hask github similar
• elpinal/modules-rs github similar
• jonsterling/tt github similar
• LightAndLight/lambdapi github similar
• elpinal/seqmod github similar