Similar repositories to defanor/invincy:

• defanor/invincy github similar
• gibiansky/IHaskell github similar
• jedesah/computation-expressions github similar
• wilbowma/cic-redex github similar
• melted/idris-chez github similar
• grin-compiler/idris-grin github similar
• metaocaml/ber-metaocaml github similar
• david-christiansen/idris-quickcheck github similar
• stedolan/idris-malfunction github similar
• Gabriel439/Haskell-Annah-Library github similar
• lloydmeta/diesel github similar
• idris-hackers/idris-koans github similar
• bamboo/idris-cil github similar
• sweirich/tal github similar
• janestreet/sexplib github similar
• conal/lambda-ccc github similar
• namin/dot github similar
• edwinb/TypeDD-Samples github similar
• etorreborre/registry github similar
• axellang/axel github similar
• snowleopard/alga-paper github similar
• SMLFamily/Successor-ML github similar
• rubbish/scala-koans github similar
• MaiaVictor/Cedille-Core github similar
• djspiewak/parseback github similar
• wilbowma/cur github similar
• MaiaVictor/abstract-algorithm github similar
• siraben/zkeme80 github similar
• CDSoft/pp github similar
• ziman/lightyear github similar
• alexarchambault/scalacheck-shapeless github similar
• propensive/contextual github similar
• andrejbauer/homotopy-type-theory-course github similar
• hedgehogqa/scala-hedgehog github similar
• typelevel/cats-mtl github similar
• VirtusLab/scala-cli github similar
• typelevel/discipline github similar
• shajra/example-nix github similar
• nmattia/snack github similar
• typedefs/typedefs github similar