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

• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆278Updated 2 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆294Updated last year
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• fbsamples / ghc-hotswap
  Example code for how we swap compiled code within a running Haskell process.
  ☆172Updated 6 years ago
• politrons / Dive_into_Haskell
  Dive into Haskell: Examples of all features of this Pure Functional programing language
  ☆69Updated last year
• 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
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 4 months ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 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
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆522Updated 7 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• kqr / gists
  With way too messy gist.github pages this is an attempt to organise my snippets
  ☆402Updated 7 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆203Updated 3 years ago
• jgm / cheapskate
  Experimental markdown processor in Haskell
  ☆108Updated 4 years ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• migamake / json-autotype
  Automatic Haskell type inference from JSON input
  ☆149Updated last year
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 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
• math-comp / mcb
  Mathematical Components (the Book)
  ☆140Updated last year
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 8 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆38Updated 2 years ago