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

• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 8 months 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
• politrons / Dive_into_Haskell
  Dive into Haskell: Examples of all features of this Pure Functional programing language
  ☆69Updated 2 years ago
• jaybutera / Category-Theory-Notes
  Notes on Category Theory For Programmers by Bartosz Milewski
  ☆56Updated 7 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago
• bollu / teleport
  A CLI in haskell to quickly move through the filesystem
  ☆109Updated 6 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• conal / talk-2014-lambdajam-denotational-design
  Talk material for LambdaJam 2014/2015 on denotational design
  ☆121Updated last year
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year
• 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
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆98Updated 3 years ago
• mchakravarty / lets-program
  Let's program! Get into programming writing a simple game.
  ☆75Updated 11 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 5 months ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆218Updated 3 years ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆40Updated 2 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 4 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
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆204Updated 4 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 6 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated last year
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• ChrisPenner / Firefly
  Simple Haskell http framework
  ☆87Updated 6 years ago