elbrujohalcon / hPage
A scrapbook for Haskell developers
☆16Updated 14 years ago
Related projects ⓘ
Alternatives and complementary repositories for hPage
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- A categorical framework for circuit construction☆30Updated 8 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated last month
- Painless general-purpose sampling.☆23Updated last week
- A small bifunctor library for idris☆21Updated 3 years ago
- Explorations in relations and the algebra of programming☆17Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- TODO☆10Updated 9 years ago
- Interactive-diagrams☆39Updated 9 years ago
- Try Idris☆36Updated 9 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Updated 9 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 3 months ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- A Haskell client library for Cayley database graph☆14Updated 2 months ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 3 weeks ago
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- A type theory based theorem proving library☆25Updated 13 years ago
- Public repo for the units-defs package of well-typed unit definitions.☆13Updated 3 years ago
- Exercism exercises in Coq.☆18Updated 2 weeks ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago