Similar repositories to phadej/kleene-type:

• phadej/kleene-type github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• isovector/jps github similar
• qfpl/church-maybe github similar
• tweag/awesome-learning-haskell github similar
• konn/subcategories github similar
• philzook58/shit-ccc github similar
• isovector/canada-t github similar
• isovector/THE-POLKANATOR github similar
• isovector/erdos github similar
• amcknight/scont github similar
• sseefried/learning-agda github similar
• nikita-volkov/th-instance-reification github similar
• cartazio/safeword github similar
• robrix/effects-sequences github similar
• jozefg/register-alloc github similar
• isovector/type-diagrams github similar
• isovector/pplmonad-mirror github similar
• ChrisPenner/ffs github similar
• system-f/natural github similar
• jwiegley/ghc-dynamic-example github similar
• isovector/seasoned-pine github similar
• masaeedu/proppie github similar
• cmk/lawz github similar
• pchiusano/datalog-refactoring github similar
• ivanperez-keera/demos-hacknotts2015 github similar
• spinda/diagrams-wx github similar
• taktoa/derp github similar
• ranjitjhala/gradr github similar
• minad/tasty-stats github similar
• jwiegley/zomega github similar
• strake/lenz.hs github similar
• takano-akio/total-array github similar
• parsonsmatt/packedbits github similar
• ezyang/groom github similar
• haskell-mafia/corba github similar
• Lysxia/coq-recursion-schemes github similar
• justinwoo/purescript-mochi github similar
• Gabriel439/sig github similar