Similar repositories to microsoft/rise:

• microsoft/rise github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• microsoft/vscode-python-installer github similar
• microsoft/vscode-jupyter-ipywidgets github similar
• afonsonf/tlaplus-html-examples github similar
• microsoft/weak-isolation-mock-db github similar
• Vanlightly/maelstrom-playground github similar
• Isaac-DeFrain/model-based-trace-checking github similar
• microsoft/distribution-shift-latent-representations github similar
• will62794/logless-reconfig github similar
• microsoft/pwa-toolkit github similar
• microsoft/responsible-ai-workshop github similar
• microsoft/linux-package-repositories github similar
• microsoft/BiDR github similar
• microsoft/quantum-curriculum-preview github similar
• DistributedClocks/tsviz github similar
• eras/tlsd github similar
• microsoft/Multilingual-App-Toolkit github similar
• onosproject/tlaplus-monitor github similar
• will62794/tla-web github similar
• informalsystems/tla-apalache-workshop github similar
• microsoft/vscode-embedded-tools github similar
• microsoft/ATAC github similar
• lorin/tla-linearizability github similar
• ocadaruma/tlaplus-intellij-plugin github similar
• ElliotSwart/pragmaticformalmodeling github similar
• microsoft/mutransformers github similar
• istoilkovska/synchronous-tla-benchmarks github similar
• microsoft/vscode-black-formatter github similar
• kaelzhang81/awesome-tlaplus github similar
• tlaplus/tlapm github similar
• will62794/tlaplus_animation github similar
• PacktPublishing/Beginning-Cpp-Game-Programming github similar
• microsoft/XPretrain github similar
• microsoft/SceneLandmarkLocalization github similar
• IPDSnelting/tba-2021 github similar
• microsoft/KID github similar
• google/citest github similar
• jaseemabid/inc github similar