Alternatives and similar repositories for 10-days-of-grad

Users that are interested in 10-days-of-grad are comparing it to the libraries listed below

• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆25Updated 5 years ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 10 months ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 weeks ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 4 months ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆43Updated 2 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆44Updated last year
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆87Updated 2 months ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆51Updated 2 years ago
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆89Updated 3 months ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆77Updated 2 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆76Updated 3 weeks ago
• Lysxia / first-class-families
  First-class type families
  ☆88Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated last month
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆45Updated 3 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆67Updated last month
• DougBurke / hvega
  Create Vega-Lite visualizations from Haskell.
  ☆57Updated 6 months ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆83Updated 8 months ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated last month
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆106Updated last month
• kowainik / awesome-cabal
  💫 A curated list of awesome resources for the Haskell Cabal build tool.
  ☆120Updated last year
• effectfully-ou / sketches
  A Haskell blog
  ☆149Updated 2 months ago
• leopiney / tensor-safe
  A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  ☆102Updated 2 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 5 years ago