Similar repositories to DistributedSystemsAnalysis/horus:

• danistefanovic/build-your-own-x github similar
• DistributedSystemsAnalysis/horus github similar
• tootsuite/mastodon github similar
• MrXinWang/awesome-rust github similar
• bolt12/f-algebra-gen github similar
• morgansleeper/Yamanotes github similar
• relrod/ct github similar
• Soonad/Formality-Haskell github similar
• albertofaria/bdus github similar
• bolt12/tymfgg-pearl github similar
• masaeedu/reading github similar
• chiroptical/thinking-with-types github similar
• tchajed/iris-simp-lang github similar
• conal/paper-2021-language-derivatives github similar
• kenmcmil/ivy github similar
• Lysxia/profunctor-monad github similar
• conal/linalg github similar
• TyGuS/hoogle_plus github similar
• plclub/hs-to-coq github similar
• coq-io/io github similar
• tchajed/goose github similar
• moonad-archive/Formality-JavaScript github similar
• bolt12/laop github similar
• conal/denotational-hardware github similar
• llelf/icfp2020-papers github similar
• bolt12/advent-of-haskell-dd github similar
• jasmin-lang/jasmin github similar
• mattam82/Coq-Equations github similar
• snowleopard/selective github similar
• jeanqasaur/pltalk github similar
• EasyCrypt/easycrypt github similar
• scionproto/scion github similar
• tweag/linear-base github similar
• takenobu-hs/haskell-symbol-search-cheatsheet github similar
• agda/agda-categories github similar
• jrh13/hol-light github similar
• EgbertRijke/HoTT-Intro github similar
• PrincetonUniversity/VST github similar
• slovnicki/pLam github similar
• ProofGeneral/PG github similar