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 4 months ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 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
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 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
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• aistrate / Okasaki
  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
  ☆35Updated 15 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 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
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 12 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• owainlewis / http-dispatch
  A high level HTTP client for Haskell that focuses on ease of use
  ☆62Updated 7 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 7 years ago
• lortabac / versioning
  Type-safe data versioning.
  ☆98Updated last year
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 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
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated last year
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆338Updated 3 weeks ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated 8 months ago
• bmsherman / blog
  ☆41Updated 10 years ago
• fbsamples / ghc-hotswap
  Example code for how we swap compiled code within a running Haskell process.
  ☆172Updated 6 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago