ekmett / algebra

Related projects: ⓘ

• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 3 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 9 years ago
• ekmett / semigroupoids
  ☆75Updated 2 months ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆121Updated last month
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆74Updated 10 months ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆68Updated last month
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆86Updated 6 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆120Updated 3 weeks ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆74Updated 2 weeks ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆110Updated 2 months ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆93Updated last year
• goldfirere / units
  The home of the units Haskell package
  ☆95Updated 7 months ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆110Updated 6 years ago
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆102Updated 3 weeks ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 2 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆111Updated last week
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆121Updated 6 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆98Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆53Updated 10 months ago
• ekmett / comonad
  Haskell 98 comonads
  ☆77Updated 11 months ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆158Updated 3 weeks ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆54Updated last year
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆52Updated last year
• associahedron / HoTT-Idris
  ☆63Updated this week