Similar repositories to Barry-Jay/SF:

• Barry-Jay/SF github similar
• shaunlebron/parinfer github similar
• Barry-Jay/lambdaSF github similar
• domdere/ultra github similar
• tmcdonell/embedded-pattern-matching github similar
• StanzaOrg/lbstanza github similar
• agda/agda-assoc-free github similar
• anniecherk/sweetpea github similar
• pigworker/WhatRTypes4 github similar
• breckinloggins/vau github similar
• heades/System-F-Coq github similar
• llee454/functional-algebra github similar
• gallais/agda-nbe github similar
• wenkokke/msla2014 github similar
• mietek/et-lang github similar
• kirkedal/rfun-interp github similar
• bolt12/tymfgg-pearl github similar
• blamario/grampa github similar
• gallais/agda-sizedIO github similar
• melsman/aplcompile github similar
• pigworker/TypesWhoSayNi github similar
• alhassy/AgdaCheatSheet github similar
• pigworker/shonky github similar
• pigworker/Samizdat github similar
• rmculpepper/gamble github similar
• rabuf/applied-category-theory github similar
• mit-plv/rupicola github similar
• vabal/vabal github similar
• uwplse/pumpkin-pi github similar
• uwplse/PUMPKIN-PATCH github similar
• jyp/nano-Agda github similar
• IBM/FormalML github similar
• oracle/souffle github similar
• pigworker/so-pigworker github similar
• pedagand/typechecker-evolution github similar
• AidanRocke/AutoDiff github similar
• diku-kmc/kleenexlang github similar
• advancingdragon/meta github similar
• lexi-lambda/higher-rank github similar
• ocamllabs/fomega github similar