emilypi / group-theory
The theory of groups
☆75Updated last year
Related projects ⓘ
Alternatives and complementary repositories for group-theory
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- The Software Foundations book, in GHC☆83Updated 3 weeks ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- The theory of algebraic graphs formalised in Agda☆87Updated 6 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A tutorial on how Agda infers things☆36Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- being the materials for Summer 2013's course☆110Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆66Updated last month
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 8 months ago
- Named parameters (keyword arguments) for Haskell☆90Updated 3 weeks ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- The multimode presheaf proof-assistant☆36Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 months ago
- Learn the Agda basics in three 2-hour sessions.☆55Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- Total Parser Combinators in Agda☆123Updated last year
- Finite field and algebraic extension field arithmetic☆50Updated 9 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆33Updated 5 months ago
- The Iowa Agda Library☆46Updated 5 months ago
- Library of categories, with categorical constructions on them☆54Updated last year
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago