Similar repositories to danr/UniversalAlgebra:

• danr/UniversalAlgebra github similar
• xplat/agda-tactics github similar
• ezyang/lr-agda github similar
• wenkokke/msla2014 github similar
• gallais/agda-presburger github similar
• wouter-swierstra/Brainfuck github similar
• chris-taylor/LondonHUG github similar
• byorgey/thesis github similar
• mikeshulman/catlog github similar
• gebner/hott3 github similar
• flypitch/flypitch github similar
• ezyang/logitext github similar
• copumpkin/categories github similar
• GU-CLASP/TypedFlow github similar
• probmods/dippl github similar
• nominolo/scion github similar
• puffnfresh/iridium github similar
• stedolan/counterexamples github similar
• idris-hackers/idris-mode github similar
• hakaru-dev/hakaru github similar
• liamoc/learn-you-an-agda github similar
• ollef/Earley github similar
• tweag/monad-bayes github similar
• HoTT/HoTT-Agda github similar
• gregwebs/Shelly.hs github similar
• haskell-CI/haskell-ci github similar
• eagletmt/ghcmod-vim github similar
• math-comp/math-comp github similar
• quchen/stgi github similar
• JakeWheat/intro_to_parsing github similar
• DanielG/ghc-mod github similar
• yallop/effects-bibliography github similar
• tensorflow/deepmath github similar
• pfrazee/crdt_notes github similar
• evincarofautumn/kitten github similar
• webyrd/Barliman github similar
• Gabriel439/haskell-nix github similar
• lexi-lambda/hackett github similar
• morganstanley/hobbes github similar
• quchen/articles github similar