Similar repositories to hzelenka/idris-proofs:

• hzelenka/idris-proofs github similar
• plt-hokusai/mld github similar
• yurrriq/idris-logic github similar
• brunoczim/typed-symmetric-interaction github similar
• SimonJF/IdrisNet github similar
• fieldstrength/xquant github similar
• pbl64k/gpif-idris github similar
• timjs/idris-clean github similar
• jmitchell/idris-elixir github similar
• reynir/Verified github similar
• FranckS/RingIdris github similar
• idris-hackers/idris-lens github similar
• wenkokke/idris-sesh github similar
• ctford/flying-spaghetti-monster github similar
• amutake/actario github similar
• jaycech3n/Isabelle-HoTT github similar
• sbp/idris-bi github similar
• nunchaku-inria/nunchaku github similar
• effectfully/OTT github similar
• grin-compiler/idris-grin github similar
• fomkin/levsha github similar
• manatki/volga github similar
• brendanzab/algebra github similar
• MaiaVictor/ESCoC github similar
• nevillelyh/shapeless-datatype github similar
• tcr/corollary github similar
• TiarkRompf/minidot github similar
• TiarkRompf/collapsing-towers github similar
• bobatkey/sott github similar
• edwinb/Yaffle github similar
• harrah/up github similar
• LukaJCB/cats-bio github similar
• robrix/path github similar
• yallop/ocaml-asp github similar
• TheoWinterhalter/formal-type-theory github similar
• zjhmale/Ntha github similar
• ChristopherDavenport/linebacker github similar
• rudogma/scala-supertagged github similar
• type-theory/learn-tt github similar
• timjb/quantities github similar