Similar repositories to ynot-harvard/ynot:

• ynot-harvard/ynot github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• michaelballantyne/backjumping-miniKanren github similar
• djspiewak/wronglisp github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• nushio3/unittyped github similar
• dima-starosud/Dynamic github similar
• mikeshulman/hott-categories github similar
• Fuuzetsu/agdoparsec github similar
• jonsterling/Agda-Sheaves github similar
• jozefg/cooked-pi github similar
• MonoidalAttackTrees/attack-trees-in-monoidal-cats github similar
• jwiegley/set-theory github similar
• jeremytregunna/io github similar
• boyland/twelf-library github similar
• GaloisInc/mistral github similar
• saltlang/saltlang github similar
• Soostone/stoplight github similar
• ppedrot/coq-forcing github similar
• vic/pinocchio github similar
• heades/System-F-Coq github similar
• athanclark/urlpath github similar
• palexand/interpreters github similar
• namin/steps github similar
• jonsterling/itt-bidirectional github similar
• acowley/yaml-light-lens github similar
• crypto-agda/agda-nplib github similar
• ttuegel/loops github similar
• glguy/minecraft-proxy github similar
• copumpkin/shaped github similar
• pascallouisperez/mu-ml github similar
• chadaustin/buffer-builder github similar
• soenkehahn/dead-code-detection github similar
• jmchapman/restriction-categories github similar
• benarmston/cabal-constraints github similar
• puffnfresh/atsboot github similar