Similar repositories to finrod/System-T:

• finrod/System-T github similar
• danistefanovic/build-your-own-x github similar
• nushio3/unittyped github similar
• cpitclaudel/coq-rst github similar
• dima-starosud/Dynamic github similar
• mikeshulman/hott-categories github similar
• jonsterling/Agda-Sheaves github similar
• ghcjs/ghcjs-sodium github similar
• saltlang/saltlang github similar
• Soostone/stoplight github similar
• MarcWeber/urweb-library github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• athanclark/urlpath github similar
• palexand/interpreters github similar
• bobatkey/sorting-types github similar
• txa/OmegaCats github similar
• jonsterling/itt-bidirectional github similar
• heades/System-F-Coq github similar
• acowley/yaml-light-lens github similar
• gian/kuru github similar
• ttuegel/loops github similar
• QuickChick/IFC github similar
• benmos/HLevy github similar
• RobertHarper/hott-notes github similar
• jonsterling/TT-Reflection github similar
• ekmett/integration 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
• dorchard/effects-as-sessions github similar
• guoguo12/aether github similar
• fpiot/mbed-ats github similar
• MaxOw/Idris-WebGL github similar
• divipp/lgtk github similar
• andrisaar/Type-Theory-Foundations github similar
• Jonplussed/haskbot-core github similar
• pigworker/Vole github similar
• cmcl/franklyfrank github similar