Alternatives and similar repositories for laop

Users that are interested in laop are comparing it to the libraries listed below

• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 3 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated last year
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 8 months ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆96Updated 5 months ago
• emilypi / order
  Order theory
  ☆25Updated last year
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 4 months ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆64Updated 6 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆53Updated 2 months ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated 2 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 4 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆57Updated 2 years ago
• icicle-lang / icicle
  Icicle Streaming Query Language
  ☆28Updated 3 weeks ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated 3 weeks ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 3 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆86Updated last month