Similar repositories to arianvp/crdt:

• arianvp/crdt github similar
• vikraman/2DTypes github similar
• hellertime/time-recurrence github similar
• AndrasKovacs/stlc-nbe github similar
• neel-krishnaswami/linearml github similar
• basvandijk/regions github similar
• RobertHarper/hott-notes github similar
• amarpotghan/crjdt-haskell github similar
• re-xyr/avail github similar
• maurer/holmes github similar
• Gabriel439/Haskell-Pipes-Concurrency-Library github similar
• Lysxia/profunctor-monad github similar
• lambdageek/unbound-generics github similar
• joneshf/elm-comonad github similar
• purescript/purescript-control github similar
• tweag/distributed-closure github similar
• xnning/EvEff github similar
• jespercockx/agda-lecture-notes github similar
• sharkdp/purescript-sparkle github similar
• evertedsphere/sound-and-complete github similar
• leanprover/logic_and_proof github similar
• uds-psl/coq-library-undecidability github similar
• rntz/rotten github similar
• ekmett/algebra github similar
• LPCIC/coq-elpi github similar
• cubix-framework/cubix github similar
• chriskempson/base16 github similar
• lexi-lambda/mtl-style-example github similar
• jozefg/nbe-for-mltt github similar
• AndrasKovacs/flatparse github similar
• AndrasKovacs/staged github similar
• ekmett/bound github similar
• kyren/gc-arena github similar
• ndmitchell/record-dot-preprocessor github similar
• aristanetworks/purescript-backend-optimizer github similar
• typed-wire/typed-wire github similar
• disco-lang/disco github similar
• ilyasergey/pnp github similar
• snoyberg/mono-traversable github similar
• ekmett/free github similar