Similar repositories to RyanGlScott/levitation:

• RyanGlScott/levitation github similar
• parsonsmatt/abstract-effects github similar
• ezyang/triemap github similar
• iu-parfunc/haskell-hpx github similar
• teh/gluon github similar
• ivan-m/transmogrify github similar
• jfischoff/gdiff-th github similar
• jwiegley/fiat-rel github similar
• quchen/shack github similar
• scott-fleischman/relevant-haskell github similar
• ttuegel/refined-linear github similar
• ezyang/backpack-examples github similar
• danistefanovic/build-your-own-x github similar
• bgoodspeed/idris-misc github similar
• bgoodspeed/idris-strings github similar
• jutaro/YCombinator github similar
• uelis/modular github similar
• brezal/the-power-of-pi github similar
• scott-fleischman/docker-agda github similar
• scott-fleischman/agda-travis github similar
• matterhorn-chat/aspell-pipe github similar
• michaelpj/abstract-machine-debuggers github similar
• sol/call-stack github similar
• liyishuai/cps github similar
• iu-parfunc/superaccumulators github similar
• michaelmesser/reflex-tree github similar
• imuli/flow github similar
• arianvp/types-and-statemachines github similar
• david-christiansen/idris-tf-random github similar
• craffit/thesis github similar
• wspk/SimpleTypes github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• clarus/coq-atm github similar
• mpickering/impure-hygienic-combinators github similar
• clayrat/idris-semidirect github similar
• msprotz/proof-search-monad github similar
• SimonJF/IdrisNet github similar
• benjaminselfridge/logix github similar
• jfischoff/distributed-flow github similar