Similar repositories to laserpants/lambdapants:

• laserpants/lambdapants github similar
• MrChico/Smarter-contract-lang github similar
• joonazan/justified-type-inference github similar
• mwpb/idrisCT github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• eraserhd/Idris-book github similar
• Termina1/tlhydra github similar
• ramsdell/agum github similar
• leftaroundabout/linearmap-family github similar
• ethul/purescript-freeap github similar
• brunjlar/protop github similar
• lambdageek/freer-church github similar
• Thimoteus/purescript-optlicative github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• alexknvl/leibniz github similar
• sbp/idris-bi github similar
• i-am-tom/LICK github similar
• tomhoule/purescript-waterslide-rs github similar
• melted/idris-chez github similar
• xgrommx/idris-ecosystem github similar
• bodil/purescript-eulalie github similar
• valis/hoq github similar
• TheoWinterhalter/formal-type-theory github similar
• Mzk-Levi/texts github similar
• xgrommx/purescript-ecosystem github similar
• andrejbauer/marshall github similar
• kitfre/Kinder github similar
• pkamenarsky/typedraw github similar
• natefaubion/purescript-variant github similar
• bamboo/idris-cil github similar
• paf31/purescript-behaviors github similar
• natefaubion/purescript-run github similar
• coq-community/math-classes github similar
• natefaubion/purescript-spork github similar
• Carnap/Carnap github similar
• RedPRL/sml-redprl github similar
• ziman/lightyear github similar
• tweag/monad-bayes github similar
• idris-hackers/software-foundations github similar
• tpolecat/cats-infographic github similar