Similar repositories to clayrat/modal-types:

• clayrat/modal-types github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• SkySkimmer/ZF github similar
• Zilliqa/scilla-mode github similar
• pixijs/pixi.js github similar
• coq/coq-bench github similar
• colemickens/nixpkgs-wayland github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• llelf/cocoricoogle github similar
• math-comp/POPLmark github similar
• m0rphism/definitional github similar
• madgen/refinement-types-seminar github similar
• Sobernard/Lindemann github similar
• coq-community/generic-environments github similar
• gs0510/index-benchmarks github similar
• arthuraa/coq-utils github similar
• proofengineering/coq-ast github similar
• ANSSI-FR/coq-prelude github similar
• owo-lang/Mini-TT github similar
• CoqHott/coq-forcing github similar
• thery/lemonde github similar
• PLSysSec/veriwasm-verification github similar
• ReactTraining/react-router github similar
• pittsburgh-haskell/data-validation-demo-haskell github similar
• flowtype/flow-for-vscode github similar
• trufflesuite/ganache-cli github similar
• serokell/aeson-options github similar
• qfpl/tasty-hedgehog-coverage github similar
• coq/coq-on-cachix github similar
• tmcdonell/colour-accelerate github similar
• bedrocksystems/cpp2v github similar
• owlbarn/owl_jupyter github similar
• juxt/crux github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• draftbit/bs-analytics github similar
• MShel/termpic github similar
• leorog/quarantine github similar