Similar repositories to mikeshulman/HoTT:

• mikeshulman/HoTT github similar
• gibiansky/IHaskell github similar
• pandas-profiling/pandas-profiling github similar
• mikeshulman/Homotopy github similar
• mikeshulman/emacs_chrome github similar
• pdg137/simple-pages github similar
• awodey/HoTT github similar
• peterlefanulumsdaine/Homotopy github similar
• herbelin/coq-hh github similar
• Macaulay2/Workshop-2018-Leipzig github similar
• adewes/phd-thesis-physics github similar
• favonia/homotopy github similar
• HoTT/coq github similar
• andrejbauer/Homotopy github similar
• ImperialCollegeLondon/complex-number-game github similar
• ramonfmir/lean-scheme github similar
• hardmaru/presentations github similar
• dlicata335/cart-cube github similar
• UniMath/Foundations github similar
• dfdx/Yota.jl github similar
• HoTT/HoTT-Agda github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• cesaraustralia/DynamicGrids.jl github similar
• RedPRL/sml-redprl github similar
• Macaulay2/M2 github similar
• Andromedans/andromeda github similar
• HoTT/HoTT github similar
• chris-taylor/aima-haskell github similar
• antononcube/MathematicaForPrediction github similar
• stsquad/emacs_chrome github similar
• QuantStack/ipysheet github similar
• JetBrains/Arend github similar
• RevolutionAnalytics/RHadoop github similar
• kimwalisch/primesieve github similar
• mozilla/narcissus github similar
• JuliaStats/Distributions.jl github similar
• Puzer/stylegan-encoder github similar
• mossr/BeautifulAlgorithms.jl github similar
• explosion/spacy-transformers github similar
• FluxML/Zygote.jl github similar