Similar repositories to paf31/Purity:

• paf31/Purity github similar
• pixijs/pixi.js github similar
• GallagherCommaJack/tt-provability github similar
• darius/transparent-dilemma github similar
• philopon/best-haskell github similar
• tonymorris/fp-for-business github similar
• bgamari/cabal-ghc-dynflags github similar
• nc6/cabin github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• mausch/FsFormlets github similar
• zick/OCamLisp github similar
• serras/4languages github similar
• ekmett/unique github similar
• avsm/Ivor github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• jonsterling/agda-effectful-forcing github similar
• kasbah/mooltipass.hid-app github similar
• melsman/sigdoc github similar
• robinp/nemnem github similar
• idris-hackers/idris-bot github similar
• Blaisorblade/Agda-playground github similar
• edwinb/Ivor github similar
• gergoerdi/stlc-agda github similar
• devaspot/charity github similar
• GaloisInc/ICryptol github similar
• purescript-node/purescript-node-process github similar
• jgreene/FSharp.Javascript github similar
• mausch/Figment github similar
• TahaHachana/SEOLib github similar
• quchen/cabal-install-bin github similar
• jspahrsummers/ScrumBut github similar
• JasonGross/lob github similar
• jonsterling/hs-abt github similar
• darius/tusl github similar
• boyland/twelf-library github similar
• bobatkey/sorting-types github similar
• hypotext/linear-logic github similar
• sandersn/fing github similar
• vcvpaiva/DialecticaCategories github similar
• HoTT/M-types github similar