penkovsky / 10-days-of-grad

Related projects ⓘ

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

• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆25Updated 11 months ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• emilypi / smash
  Smash products, Wedge products, and other Pointed stuff
  ☆34Updated 2 years ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 8 months ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆66Updated last month
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 8 months ago
• aligusnet / mltool
  Machine Learning Toolbox
  ☆35Updated 6 years ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated last week
• mlang / chessIO
  Fast haskell chess move generator library and console UCI frontend
  ☆31Updated last week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆57Updated 9 months ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated last month
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆72Updated last year
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆44Updated 2 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 2 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆37Updated 10 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year