mortberg / AlgTop
Haskell library of algebraic topology
☆23Updated 12 years ago
Related projects: ⓘ
- Linear map categories in Agda☆5Updated last year
- ☆12Updated this week
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- Type Theory with Indexed Equality☆23Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆14Updated 9 years ago
- ☆28Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Category theory and algebra☆27Updated 8 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- Category theory concepts in type classes and instances.☆19Updated 2 weeks ago
- Austin's supercompiler work☆21Updated 4 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- ☆20Updated this week
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Quiver stream processing library☆15Updated 7 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆10Updated 5 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆34Updated 4 years ago