Similar repositories to asr/apia:

• asr/apia github similar
• gibiansky/IHaskell github similar
• naproche/web-naproche github similar
• strake/comprehensions-ghc github similar
• anfelor/coc-lean github similar
• jonaprieto/athena github similar
• naproche/naproche github similar
• conal/calculating-compilers-agda github similar
• edwinb/SchemeEval github similar
• jonsterling/constructive-sheaf-semantics github similar
• liamoc/dddp github similar
• ajrouvoet/ternary.agda github similar
• formalabstracts/CNL-CIC github similar
• weakmemory/imm github similar
• zfoh/zfoh.ch github similar
• xu-hao/QueryArrow github similar
• themoritz/7guis-reflex github similar
• frelindb/agsyHOL github similar
• laMudri/generic-lr github similar
• mikeizbicki/homoiconic github similar
• SReichelt/slate github similar
• GaloisInc/lean-haskell-bindings github similar
• agda/ooAgda github similar
• NorfairKing/cursor github similar
• imdea-software/fcsl-pcm github similar
• Naproche-SAD/Naproche-SAD github similar
• haskell-perf/sets github similar
• effectfully/inference-in-agda github similar
• donya/Jazzkell github similar
• afcondon/purescript-d3v4 github similar
• snoyberg/githash github similar
• xgrommx/agda-ecosystem github similar
• gallais/agda-presburger github similar
• avigad/qpf github similar
• jaycech3n/Isabelle-HoTT github similar
• gallais/aGdaREP github similar
• jyp/prettiest github similar
• evertedsphere/noether github similar
• gcross/LogicGrowsOnTrees github similar
• anuyts/menkar github similar