Similar repositories to edwinb/tactics-tutorial:

• edwinb/tactics-tutorial github similar
• gibiansky/IHaskell github similar
• trillioneyes/dyn-universe github similar
• ezyang/backpack-examples github similar
• mathandley/RTick github similar
• haskell-numerics/hmatrix-sundials github similar
• ReactTraining/react-router github similar
• inanna-malick/hgit github similar
• david-christiansen/idris-utils github similar
• simonpj/haskellcontracts github similar
• mtzguido/cemetery github similar
• ekmett/monad-ran github similar
• edwinb/Eff-new github similar
• barrucadu/minifu github similar
• srdqty/talc-3.0 github similar
• KesterTong/idris-finite-math github similar
• andyarvanitis/idris-cplusplus github similar
• polasek/idris-scientific github similar
• idris-hackers/eff-tutorial github similar
• agrafix/superbuffer github similar
• RobertHarper/hott-notes github similar
• GuglielmoS/sfidris github similar
• johnynek/rules_tla github similar
• ekmett/dense github similar
• kosmikus/kaleidoscope-regensburg github similar
• redneb/hs-btrfs github similar
• syallop/Join-Interpreter-Distributed github similar
• mstksg/emd github similar
• vincenthz/hs-crypto-platform github similar
• vincenthz/hsco github similar
• kathawala/symdiff github similar
• PaulVisschers/relational-algebra github similar
• schell/px-lang github similar
• joshvera/effects github similar
• Paradoxika/Papers github similar
• bitonic/ny-haskell-agda github similar
• dave4420/cabal2nix4dev github similar
• FranckS/RingIdris github similar
• conal/shaped-types github similar
• chessai/vector-circular github similar