Similar repositories to tetrapharmakon/moirai:

• tetrapharmakon/moirai github similar
• bgavran/Category_Theory_Resources github similar
• gambitproject/gte github similar
• flypitch/flypitch github similar
• leanprover-community/lean-perfectoid-spaces github similar
• leanprover/lean2 github similar
• math-comp/mcb github similar
• plt-amy/1lab github similar
• RedPRL/redtt github similar
• mattearnshaw/lawvere github similar
• statebox/idris-ct github similar
• sjsyrek/haskell-study-startup github similar
• commercialhaskell/commercialhaskell github similar
• math-comp/math-comp github similar
• aviaviavi/legion github similar
• jwiegley/category-theory github similar
• edgurgel/verk github similar
• UniMath/UniMath github similar
• OpenLogicProject/OpenLogic github similar
• alco/porcelain github similar
• sagemathinc/cocalc github similar
• jemmybutton/byrne-euclid github similar
• yishn/tikzcd-editor github similar
• jozefg/learn-tt github similar
• agda/agda github similar
• leanprover-community/mathlib github similar
• leanprover/lean github similar
• Tufte-LaTeX/tufte-latex github similar
• leanprover/lean4 github similar
• openpaperwork/paperwork github similar
• coq/coq github similar
• penrose/penrose github similar
• commercialhaskell/stack github similar
• sarabander/sicp-pdf github similar
• pkmital/tensorflow_tutorials github similar
• hmemcpy/milewski-ctfp-pdf github similar
• bitemyapp/learnhaskell github similar
• RelaxedJS/ReLaXed github similar
• Jam3/math-as-code github similar
• oxford-cs-deepnlp-2017/lectures github similar