elbrujohalcon / hPageLinks
A scrapbook for Haskell developers
☆16Updated 14 years ago
Alternatives and similar repositories for hPage
Users that are interested in hPage are comparing it to the libraries listed below
Sorting:
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Try Idris☆35Updated 9 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆32Updated 3 months ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A principal solution to ghost threads and silent exceptions☆24Updated last year
- A small bifunctor library for idris☆21Updated 4 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Interactive-diagrams☆39Updated 10 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- A versioning file store backed by git, darcs, or mercurial☆35Updated 5 months ago
- Cohesive type theory☆19Updated 3 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Updated 5 years ago
- A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Per…☆48Updated 8 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- TODO☆10Updated 9 years ago
- Operations for sequentially ordered types☆11Updated 2 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year