Similar repositories to gustavderdrache/lambda-templates:

• gustavderdrache/lambda-templates github similar
• danistefanovic/build-your-own-x github similar
• seahorn/seahorn-tutorial github similar
• puffnfresh/stl-idris github similar
• kframework/matching-logic-prover github similar
• pbl64k/gpif-idris github similar
• copumpkin/java github similar
• reynir/Verified github similar
• FranckS/RingIdris github similar
• puffnfresh/language-scala github similar
• melvinzhang/lambda-calculus-game github similar
• jwiegley/simple-conduit github similar
• blamario/monoid-subclasses github similar
• ppedemon/Bluejelly github similar
• archhaskell/cblrepo github similar
• uwap/idris-http github similar
• puffnfresh/bam-idris-blog github similar
• philzook58/nand2coq github similar
• cdparks/lambda-machine github similar
• drdozer/graphviz-s github similar
• shikhin/tetranglix github similar
• xuwei-k/httpz github similar
• jyp/nano-Agda github similar
• YannMoisan/hands-on-scalaz github similar
• mmjb/T2 github similar
• slamdata/truffled-purescript github similar
• non/antimirov github similar
• SRI-CSL/PVS github similar
• lspitzner/exference github similar
• ilya-klyuchnikov/ttlite github similar
• larrytheliquid/Lemmachine github similar
• sweirich/tal github similar
• namin/dot github similar
• lambdabot/lambdabot github similar
• ucsd-progsys/elsa github similar
• A1kmm/proofsweeper github similar
• GaloisInc/macaw github similar
• aloiscochard/codex github similar
• goldfirere/thesis github similar
• frp-arduino/frp-arduino github similar