Similar repositories to jules-hedges/elements:

• jules-hedges/elements github similar
• ReactTraining/react-router github similar
• msp-strath/ask github similar
• AviCraimer/category-theory-diagrams github similar
• RobertHarper/hott-notes github similar
• DavidJaz/DynamicalSystemsBook github similar
• JacquesCarette/finally-tagless github similar
• vehicle-lang/vehicle github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• HoTT/EPIT-2020 github similar
• pigworker/CS410-14 github similar
• mikeshulman/catlog github similar
• ToposInstitute/poly github similar
• OPLSS/introduction-to-algebraic-effects-and-handlers github similar
• jespercockx/agda-lecture-notes github similar
• msp-strath/TypOS github similar
• conal/talk-2014-lambdajam-denotational-design github similar
• mattearnshaw/lawvere github similar
• banacorn/agda-mode-vscode github similar
• ucsd-progsys/elsa github similar
• type-theory/type-theory-study-group github similar
• martinescardo/HoTTEST-Summer-School github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• williamdemeo/TypeFunc github similar
• jameshaydon/lawvere github similar
• statebox/idris-ct github similar
• DSLsofMath/DSLsofMath github similar
• pigworker/CS410-17 github similar
• andrejbauer/homotopy-type-theory-course github similar
• agda/agda-categories github similar
• statebox/awesome-applied-ct github similar
• megawac/babel-plugin-ramda github similar
• AlgebraicJulia/Catlab.jl github similar
• agda/agda-stdlib github similar
• williamngan/kubist github similar
• jwbuurlage/category-theory-programmers github similar
• hazelgrove/hazel github similar
• MilesCranmer/symbolic_deep_learning github similar
• nullobject/fkit github similar
• snowleopard/alga github similar