Similar repositories to kframework/kore:

• kframework/kore github similar
• danistefanovic/build-your-own-x github similar
• runtimeverification/haskell-backend github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• ReactTraining/react-router github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• oven-sh/bun github similar
• k6io/k6 github similar
• Eugeny/terminus github similar
• aquynh/capstone github similar
• kframework/k github similar
• postalhq/postal github similar
• juxt/crux github similar
• ronami/HypeScript github similar
• disco-lang/disco github similar
• micahflee/onionshare github similar
• pocketbase/pocketbase github similar
• roc-lang/roc github similar
• runtimeverification/k github similar
• chriskempson/base16 github similar
• RobertHarper/hott-notes github similar
• nikita-volkov/refined github similar
• tweag/linear-base github similar
• LeventErkok/sbv github similar
• sweirich/tal github similar
• alexcrichton/cc-rs github similar
• input-output-hk/nix-tools github similar
• jozefg/blott github similar
• target/row-types github similar
• ucsd-progsys/liquid-fixpoint github similar
• conal/concat github similar
• Deducteam/Dedukti github similar
• GaloisInc/what4 github similar
• PrincetonUniversity/VST github similar
• luc-tielen/eclair-lang github similar