Similar repositories to harp-project/Core-Erlang-Formalization:

• danistefanovic/build-your-own-x github similar
• harp-project/Core-Erlang-Formalization github similar
• cloudant-labs/emilio github similar
• voltone/rebar3_sbom github similar
• kvakvs/Quokka github similar
• rabbitmq/credentials-obfuscation github similar
• raaz-crypto/verse-coq github similar
• lpgauth/timing github similar
• saleyn/etran github similar
• saleyn/emmap github similar
• esl/segmented_cache github similar
• helium/erlang-h3 github similar
• querycert/qcert github similar
• schlagert/syslog github similar
• blt/port_compiler github similar
• sile/eetf github similar
• scality/elmerfs github similar
• mit-plv/riscv-coq github similar
• erlef/security-wg github similar
• deadtrickster/ssl_verify_fun.erl github similar
• max-au/erlperf github similar
• Vanlightly/bookkeeper-tlaplus github similar
• DistributedComponents/disel github similar
• GameAnalytics/hyper github similar
• crownedgrouse/geas github similar
• helium/erlang-libp2p github similar
• dranov/protocol-bugs-list github similar
• rabbitmq/khepri github similar
• accordproject/ergo github similar
• awesomo4000/awesome-provable github similar
• mit-plv/bedrock2 github similar
• cuter-testing/cuter github similar
• Azure/azure-cosmos-tla github similar
• microsoft/Ironclad github similar
• QuickChick/QuickChick github similar
• potatosalad/erlang-jose github similar
• satori-com/mzbench github similar
• Appliscale/xprof github similar
• elli-lib/elli github similar
• c-cube/qcheck github similar