Similar repositories to NICTA/l4v:

• NICTA/l4v github similar
• lolesvalverde/MDenHaskell github similar
• Alasdair/IsabelleAlgebra github similar
• pruvisto/sturm github similar
• moajohansson/IsaHipster github similar
• wimmers/munta github similar
• EgbertRijke/GraphModel github similar
• proofpeer/proofpeer-proofscript github similar
• RedPRL/sml-final-pretty-printer github similar
• brunofx86/LL github similar
• meiersi/scyther-proof github similar
• jin/subtyping github similar
• logic-tools/nadea github similar
• benjaminselfridge/logix github similar
• isabelle-prover/mirror-isabelle github similar
• isabelle-utp/utp-main github similar
• haskellari/lattices github similar
• logic-tools/sml-handbook github similar
• rodrigogribeiro/agda-software-foundations github similar
• davidlazar/llvm-semantics github similar
• ryukinix/discrete-mathematics github similar
• llvm-hs/llvm-hs-pretty github similar
• diekmann/Iptables_Semantics github similar
• gallais/idris-tparsec github similar
• msakai/cpl github similar
• jfdm/idris-containers github similar
• NICTA/cogent github similar
• HaskellChamber/Haskell-University github similar
• seL4/isabelle github similar
• thelilypad/orderbook_simulator github similar
• SMLFamily/The-Definition-of-Standard-ML-Revised github similar
• joom/hezarfen github similar
• flyspeck/flyspeck github similar
• idris-hackers/idris-crypto github similar
• eatonphil/ponyo github similar
• formalabstracts/formalabstracts github similar
• SMLFamily/Successor-ML github similar
• david-christiansen/pie-hs github similar
• puffnfresh/iridium github similar
• kbuzzard/xena github similar