Similar repositories to trvedata/crdt-isabelle:

• trvedata/crdt-isabelle github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• ReactTraining/react-router github similar
• juxt/crux github similar
• tootsuite/mastodon github similar
• k6io/k6 github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• google/shaka-player github similar
• ubuntu/microk8s github similar
• meilisearch/MeiliSearch github similar
• ept/byzantine-eventual github similar
• azimuth-project/applied-category-theory-course github similar
• edx/edx-platform github similar
• micahflee/onionshare github similar
• hecrj/iced github similar
• csete/gqrx github similar
• hyperfiddle/hyperfiddle github similar
• shaunlebron/parinfer github similar
• myter/CAPtain github similar
• ojack/hydra github similar
• trvedata/opsets github similar
• fpaxos/ffpaxos-tlaplus github similar
• lichray/sfio github similar
• xinhaoyuan/morpheus github similar
• rabbit721/QPPNet github similar
• chriskempson/base16 github similar
• coq-community/chapar github similar
• clash-lang/clash-prelude github similar
• postalhq/postal github similar
• toniqsystems/maestro github similar
• paulkernfeld/swarmhub github similar
• domchristie/turndown github similar
• Disalg-ICS-NJU/tlaplus-lamport-projects github similar
• aquynh/capstone github similar
• timgrossmann/InstaPy github similar
• zalando/connexion github similar
• GamestonkTerminal/GamestonkTerminal github similar
• Factual/durable-queue github similar