Alternatives and similar repositories for Category-Theory-for-the-Sciences

Users that are interested in Category-Theory-for-the-Sciences are comparing it to the libraries listed below

• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆99Updated 3 years ago
• gspindles / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆79Updated 7 years ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 6 years ago
• skaslev / why-types
  Why Types Matter
  ☆45Updated 8 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• tonymorris / parametricity
  A talk on parametricity
  ☆36Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆295Updated last year
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆39Updated 2 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 2 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆112Updated 6 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆55Updated last month