Similar repositories to dricketts/teaching-concurrency:

• dricketts/teaching-concurrency github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• Twey/agda-imp github similar
• inanna-malick/hgit github similar
• thery/FlocqLecture github similar
• simonpj/triemap-paper github similar
• favonia/ocaml-objdump github similar
• javra/iit github similar
• tuvtran/project-based-learning github similar
• expnkx/fast_io github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• tsung-ju/SystemF github similar
• NetchX/Netch github similar
• tootsuite/mastodon github similar
• edx/edx-platform github similar
• plt-hokusai/ahc github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• bedrocksystems/cpp2v github similar
• conal/agda-fft github similar
• Jellonator/Emailang github similar
• meilisearch/MeiliSearch github similar
• coq-community/HighSchoolGeometry github similar
• sadraskol/tla-introduction github similar
• silvanshade/cool-tt github similar
• leanprover/functional_programming_in_lean github similar
• JasonGross/coq-union-find github similar
• arthurpaulino/LeanMySQL github similar
• ChrisPenner/recursive-zipper github similar
• alashworth/sf-lean github similar
• rwbarton/advent-of-lean-4 github similar
• yizhouzhang/olaf-coq github similar
• wadler/bnfc-examples github similar
• ekmett/nbe-in-java-19 github similar
• nobrakal/tungsten github similar
• ekmett/typed-keys github similar