mmai / Category-Theory-for-the-Sciences

Related projects ⓘ

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

• bollu / teleport
  A CLI in haskell to quickly move through the filesystem
  ☆109Updated 5 years ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆294Updated last year
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆207Updated 6 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆199Updated 4 months ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆99Updated 8 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 5 years ago
• conal / talk-2014-lambdajam-denotational-design
  Talk material for LambdaJam 2014/2015 on denotational design
  ☆118Updated 10 months ago
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 7 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆217Updated 7 months ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆211Updated 2 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆203Updated 3 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 4 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 11 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆99Updated 2 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 8 years ago
• fbsamples / ghc-hotswap
  Example code for how we swap compiled code within a running Haskell process.
  ☆172Updated 6 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆60Updated 4 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
  ☆76Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 4 years ago
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆514Updated 6 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆112Updated 6 years ago
• kqr / gists
  With way too messy gist.github pages this is an attempt to organise my snippets
  ☆398Updated 6 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• bitemyapp / dotfiles
  My .emacs, .screenrc, etc.
  ☆150Updated 3 weeks ago
• nikita-volkov / strelka
  A simple, flexible and composable web-router
  ☆85Updated 5 years ago
• sjsyrek / haskell-study-startup
  Launch your own Haskell study group. Now.
  ☆272Updated 5 years ago
• beerendlauwers / haskell-papers-ereader
  Haskell papers optimized for my e-reader.
  ☆266Updated 7 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 5 years ago