Alternatives and similar repositories for math-grads

Users that are interested in math-grads are comparing it to the libraries listed below

• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆91Updated 4 years ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆54Updated 4 years ago
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• kris-brown / cql_data_integration
  Interface for generating Categorical Query Language files to merge/migrate data between databases
  ☆12Updated 3 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated this week
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 5 months ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 8 months ago
• xgrommx / agda-ecosystem
  ☆30Updated 6 years ago
• klapaucius / vector-hashtables
  ☆35Updated last year
• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆37Updated 4 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 3 months ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆31Updated 2 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 5 months ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 8 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 8 months ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated this week
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆41Updated 5 months ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated last month
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• SiriusCourses / cheops-logger
  Simple Structured logger
  ☆14Updated 2 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated last month
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 3 years ago