elbrujohalcon / hPage
A scrapbook for Haskell developers
☆16Updated 14 years ago
Related projects ⓘ
Alternatives and complementary repositories for hPage
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 2 weeks ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- TODO☆10Updated 9 years ago
- Try Idris☆36Updated 9 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Astview is a graphical viewer for abstract syntax trees☆24Updated 2 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 weeks ago
- A small profunctor library for idris☆16Updated 2 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Invertible parsing for S-expressions☆33Updated last month
- Contains the system-filepath and system-fileio packages☆9Updated last year
- Graph layout and drawing with GraphViz and diagrams☆9Updated last month
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- ☆23Updated 7 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- Interactive-diagrams☆39Updated 9 years ago
- A Haskell client library for Cayley database graph☆14Updated 2 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 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
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- Edit distance library for Haskell☆27Updated 7 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Exercism exercises in Coq.☆18Updated last week