Similar repositories to pigworker/BathTime:

• pigworker/BathTime github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• benkavanagh/ccoq-explicit-sn github similar
• bobatkey/clocked-types github similar
• nicolaidahl/TouchBasedIdris github similar
• crypto-agda/explore github similar
• mmirman/class-lambda github similar
• Toxaris/lift.pts github similar
• kmcallister/propane github similar
• xplat/potpourri github similar
• karamaan/product-profunctors github similar
• jonsterling/TT-Reflection github similar
• dima-starosud/Dynamic github similar
• zygoloid/deadc github similar
• chriseidhof/applicative-extras github similar
• wjzz/Agda-mode-improvements github similar
• mmirman/regular-manifold-containers github similar
• philopon/best-haskell github similar
• joelburget/Cologne github similar
• eamsden/Animas github similar
• gergoerdi/mod-arith github similar
• mchakravarty/accelerate-agda github similar
• kirstin-rhys/nestedmap github similar
• nilcons/ceh github similar
• jonsterling/hs-abt github similar
• bts/deferred-substitution github similar
• pcapriotti/agda-base github similar
• schani/git-polish-history github similar
• toothbrush/reflection-proofs github similar
• pigworker/Vole github similar
• mokus0/Agda.tmbundle github similar
• bobatkey/sorting-types github similar
• JacquesCarette/GenCheck github similar
• zalora/aws-ec2 github similar
• sjoerdvisscher/algebraic-classes github similar
• crypto-agda/agda-nplib github similar
• quchen/amoeba github similar
• agda/agda-assoc-free github similar
• Gabriel439/Haskell-RCPL-Library github similar