azimuth-project / applied-category-theory-course

Related projects: ⓘ

• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆24Updated last month
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• vmchale / dickinson
  Text generation language
  ☆31Updated last week
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated last month
• atzedijkstra / chr
  Constraint Handling Rules
  ☆14Updated 2 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 3 months ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 4 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 3 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• b-mehta / combinatorics
  ☆20Updated 2 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆22Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 6 months ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated last month
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆16Updated last year
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• xgrommx / agda-ecosystem
  ☆28Updated 6 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆38Updated 2 months ago
• annenkov / two-level
  Two-Level Type Theory
  ☆27Updated 4 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆25Updated 3 years ago