Similar repositories to dima-starosud/Dynamic:

• dima-starosud/Dynamic github similar
• liyang/stm-proof github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• gergoerdi/mgu-agda github similar
• nushio3/unittyped github similar
• zygoloid/deadc github similar
• mikeshulman/hott-categories github similar
• jonsterling/Agda-Sheaves github similar
• mchakravarty/accelerate-agda github similar
• saltlang/saltlang github similar
• Soostone/stoplight github similar
• serras/t-regex github similar
• jonsterling/TT-Reflection github similar
• bobatkey/sorting-types github similar
• athanclark/urlpath github similar
• palexand/interpreters github similar
• zalora/aws-ec2 github similar
• jonsterling/itt-bidirectional github similar
• acowley/yaml-light-lens github similar
• ttuegel/loops github similar
• larrytheliquid/leveling-up github similar
• pigworker/BathTime github similar
• benmos/HLevy github similar
• ekmett/integration github similar
• edwinb/Eff-new github similar
• sellout/Idris-CPDT github similar
• k0001/pipes-aeson github similar
• matijapretnar/proofs github similar
• jfdm/idris-xml github similar
• doublec/ats-reference github similar
• sdiehl/picologic github similar
• finrod/System-T github similar
• guoguo12/aether github similar
• fpiot/mbed-ats github similar
• pbl64k/gpif-idris github similar
• RobertHarper/hott-notes github similar
• divipp/lgtk github similar
• Jonplussed/haskbot-core github similar
• ericfinster/orchard github similar