Similar repositories to effect-handlers/wasm-spec:

• effect-handlers/wasm-spec github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• ubuntu/microk8s github similar
• meilisearch/MeiliSearch github similar
• gibiansky/IHaskell github similar
• kayceesrk/wasmfx github similar
• obazl/rules_opam github similar
• effect-handlers/wasm-effect github similar
• obazl/tools_obazl github similar
• vehicle-lang/vehicle-formalisation github similar
• ejgallego/real-world-coq github similar
• y-yu/higher-kinded-polymorphism-in-swift github similar
• graydon/edelcrantz github similar
• coq-community/generic-environments github similar
• smimram/Mini-TT github similar
• silvanshade/agda-nr-cats github similar
• logsem/free-theorems-sl github similar
• einarwh/re-fish github similar
• madgen/refinement-types-seminar github similar
• mseri/AoM github similar
• GaloisInc/mir-json github similar
• effect-handlers/effect-handlers-bench github similar
• ivanbakel/coq-antivalence github similar
• nmvdw/groupoids github similar
• WebAssembly/extended-const github similar
• jvanbruegge/isabelle-lambda-calculus github similar
• masaeedu/elect github similar
• vishesh/racketscript github similar
• mbernat/ecats github similar
• emtst/emtst-proof github similar
• jdrprod/cqfd github similar
• bramvdbogaerde/z3-wasm github similar
• danburkert/prost github similar
• raaz-crypto/verse-coq github similar
• wasm-lsp/wasm-lsp-server github similar
• ppedrot/kravanenn github similar