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

• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆47Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated 3 weeks ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 5 years ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆26Updated 5 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated this week
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆43Updated 6 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 7 months ago
• Lysxia / first-class-families
  First-class type families
  ☆90Updated last month
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 4 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆92Updated 2 weeks ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated last year
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆84Updated 4 years ago
• aligusnet / mltool
  Machine Learning Toolbox
  ☆36Updated 7 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 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
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Updated 3 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆128Updated last year
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 3 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 4 months ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 3 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 7 years ago
• lehins / scheduler
  A work stealing scheduler
  ☆79Updated 11 months ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆193Updated 6 months ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆42Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated 2 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 5 years ago
• con-kitty / categorifier-c
  Haskell to C compiler via Categorifier
  ☆39Updated 2 years ago