Similar repositories to Gutek/fallacies-of-distributed-computing:

• Gutek/fallacies-of-distributed-computing github similar
• pixijs/pixi.js github similar
• danistefanovic/build-your-own-x github similar
• aztek/Solver.agda github similar
• isovector/wheatley github similar
• julianhyde/morel github similar
• ssbothwell/HowardLang github similar
• atennapel/coc-os github similar
• Toxaris/pts github similar
• libmir/mir-core github similar
• mb64/prolog github similar
• alox-lang/alox github similar
• matthewfl/redmagic github similar
• duo-lang/duo-lang github similar
• mr-ohman/logrel-mltt github similar
• dobesv/charity github similar
• aap/b github similar
• aspiwack/peppermint-prover github similar
• FreeProving/free-compiler github similar
• Symbolica/Symbolica github similar
• touist/touist github similar
• etaoins/llambda github similar
• szpak/zrekrutuj-pracodawce github similar
• digama0/mmj2 github similar
• DBCG/Dataphor github similar
• AndrasKovacs/setoidtt github similar
• egel-lang/egel github similar
• Gradual-Typing/Grift github similar
• andrejbauer/alg github similar
• luc-tielen/eclair-lang github similar
• kmill/lean4-raytracer github similar
• lamdu/hypertypes github similar
• nikomatsakis/a-mir-formality github similar
• paranim/pararules github similar
• norswap/autumn github similar
• metamath/set.mm github similar
• stevedekorte/garbagecollector github similar
• CertiCoq/certicoq github similar
• rems-project/lem github similar
• namin/staged-miniKanren github similar