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