Similar repositories to bitonic/kant:

• bitonic/kant github similar
• uelis/modular github similar
• danelahman/Normalization-By-Evaluation github similar
• arianvp/types-and-statemachines github similar
• kritzcreek/siml github similar
• gergoerdi/system-f-agda github similar
• AHartNtkn/Kitmit github similar
• yurrriq/the-power-of-pi github similar
• barras/abstract-machines github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• asajeffrey/finite-dtypes github similar
• ak3n/system-f-pop github similar
• cartazio/resin github similar
• benkavanagh/ccoq-explicit-sn github similar
• scott-fleischman/agda-travis github similar
• superfunc/tp github similar
• plt-hokusai/mld github similar
• RyanGlScott/levitation github similar
• Blaisorblade/evalFromToAbsMachines github similar
• heades/cut-fill-agda github similar
• michaelt/structured-graphs github similar
• yurrriq/idris-logic github similar
• ollef/region github similar
• SimonJF/IdrisNet github similar
• AHartNtkn/IotaTT github similar
• yannham/visual-goi github similar
• msullivan/typecoin github similar
• danelahman/Directed-Containers github similar
• pigworker/WhatRTypes4 github similar
• peterthiemann/definitional-session github similar
• RedPRL/sml-final-pretty-printer github similar
• pfnet-research/pml github similar
• orca-lang/orca github similar
• msp-strath/platypus github similar
• ayberkt/Mini-TT github similar
• pigworker/Gigs-Summer-2018 github similar
• uelis/IntML github similar
• ezhulenev/hyperloglogplus github similar
• sto0pkid/CategoryTheory github similar
• gallais/idris-tmustache github similar