Similar repositories to emina/rosette:

• emina/rosette github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• shaunlebron/parinfer github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• meilisearch/MeiliSearch github similar
• gibiansky/IHaskell github similar
• vishesh/racketscript github similar
• Eloston/ungoogled-chromium github similar
• ReactTraining/react-router github similar
• cvc5/cvc5 github similar
• tuvtran/project-based-learning github similar
• juxt/crux github similar
• wilbowma/cur github similar
• k6io/k6 github similar
• racket/typed-racket github similar
• rntz/datafun github similar
• lexi-lambda/hackett github similar
• GaloisInc/crucible github similar
• boogie-org/boogie github similar
• souffle-lang/souffle github similar
• chriskempson/base16 github similar
• CakeML/cakeml github similar
• egraphs-good/egg github similar
• motemen/gore github similar
• the-little-typer/pie github similar
• dafny-lang/dafny github similar
• achlipala/frap github similar
• pycket/pycket github similar
• google/schism github similar
• rems-project/sail github similar
• leanprover/lean github similar
• Eugeny/terminus github similar
• hazelgrove/hazel github similar
• ucsd-progsys/liquidhaskell github similar
• nanopass/nanopass-framework-racket github similar
• stchang/macrotypes github similar
• AbsInt/CompCert github similar