alexpeits / haskell-proofsLinks
Examples using dependent types for mathematical proofs at the type level
☆13Updated 5 years ago
Alternatives and similar repositories for haskell-proofs
Users that are interested in haskell-proofs are comparing it to the libraries listed below
Sorting:
- ☆35Updated 8 months ago
- Functions and newtype wrappers for traversing Trees☆30Updated 8 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆27Updated 3 months ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Updated 5 months ago
- Library of categories, with categorical constructions on them☆57Updated last year
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 3 weeks ago
- Where my everyday research happens☆53Updated this week
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆47Updated 2 months ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆19Updated 2 years ago
- ☆11Updated 3 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated last year
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 2 weeks ago
- Derive instances through isomorphisms☆20Updated last year
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 4 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Generate your PureScript types and API client from a Haskell Servant backend.☆30Updated 2 years ago
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- Generic types and functions for encoding and decoding columns☆44Updated 7 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Haskell library for doing category theory with a central role for profunctors☆21Updated this week
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year