Similar repositories to origamitower/purr-design:

• origamitower/purr-design github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• origamitower/purr-site github similar
• mflatt/scope-sets github similar
• inc-lc/ilc-agda github similar
• maximedenes/coq-amd64 github similar
• elpinal/modules github similar
• chrisdone/ats-examples github similar
• coq/ceps github similar
• maxsnew/modal-scheme github similar
• ammkrn/nanoda github similar
• bobatkey/modulog github similar
• garrigue/certint github similar
• haskellcamargo/xgh-headers github similar
• gallais/potpourri github similar
• david-christiansen/epigram1 github similar
• lthms/FreeSpec github similar
• chriskempson/base16 github similar
• lazpeng/birlscript github similar
• xnning/GHC-Core-Literature-Review github similar
• SMLFamily/SML-The-Living-Language github similar
• alhassy/next-700-module-systems github similar
• ak3n/modules-papers github similar
• ekmett/linear-logic github similar
• bobatkey/sott github similar
• andrejbauer/coop github similar
• irevenko/weebsay github similar
• TheoWinterhalter/formal-type-theory github similar
• andreasabel/miniagda github similar
• jozefg/nbe-for-mltt github similar
• SMLFamily/The-Definition-of-Standard-ML github similar
• jonsterling/JonPRL github similar
• effect-handlers/effects-rosetta-stone github similar
• studio/studio github similar
• nanocaml/nanocaml github similar
• dls/house github similar
• discus-lang/iron github similar
• UU-ComputerScience/uhc github similar