ekmett / algebraLinks
constructive abstract algebra
☆103Updated 5 years ago
Alternatives and similar repositories for algebra
Users that are interested in algebra are comparing it to the libraries listed below
Sorting:
- ☆75Updated 3 months ago
- Library of categories, with categorical constructions on them☆57Updated last year
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- Haskell library for simple, concise and fast generic operations.☆80Updated last year
- Some useful control operators for looping☆47Updated 5 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Literate Haskell support for Markdown☆140Updated 2 months ago
- Test your Haskell code by exhaustively checking its properties☆136Updated 2 years ago
- First-class type families☆88Updated 2 weeks ago
- Trie-based memo functions☆92Updated 3 months ago
- Generic random generators☆81Updated 2 years ago
- Regex-based parsing with an applicative interface☆129Updated 3 years ago
- Diagrams standard library☆140Updated this week
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated last week
- Software Transactional Memory☆105Updated 6 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Haskell XML Toolbox☆124Updated 10 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 months ago
- The home of the units Haskell package☆100Updated 4 months ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A monad for interfacing with external SAT solvers☆64Updated 3 months ago
- A continuation-based backtracking logic programming monad☆90Updated 6 months ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆74Updated 5 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- The theory of algebraic graphs formalised in Agda☆90Updated 6 years ago
- constraint level if statements☆116Updated 7 years ago