mavam / abstract-algebra-cheatsheet
A visualization of key structures in abstract algebra.
☆154Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for abstract-algebra-cheatsheet
- ACT community resources☆465Updated 4 years ago
- An introductory course to Homotopy Type Theory☆359Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- A course-worth of notes☆199Updated 4 months ago
- 📖 source material for Thinking with Types☆477Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆286Updated 9 months ago
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- My personal repository of formally verified mathematics.☆291Updated last week
- This project is to contain a listing of common theorems in elementary category theory.☆71Updated 4 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆211Updated 2 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- Spartan type theory☆254Updated 5 months ago
- Optimal evaluator of λ-calculus terms.☆268Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 4 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 6 years ago
- formally verified category theory library☆256Updated 4 years ago
- Proving leftpad correct two-dozen different ways☆649Updated 9 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆752Updated last month
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆132Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- Functional teaching language for use in a discrete mathematics course☆163Updated last week
- Mathematical Components (the Book)☆140Updated 11 months ago
- ☆159Updated 5 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago