dnvriend / study-category-theory

Related projects: ⓘ

• HaskellChamber / Haskell-University
  Portfolio-based approach to learning Haskell
  ☆104Updated 6 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆216Updated 5 months ago
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆102Updated 4 months ago
• EncodePanda / papers_i_love
  Papers I love :)
  ☆155Updated 4 years ago
• jdegoes / scalaworld-2015
  Supporting material for ScalaWorld 2015.
  ☆99Updated 9 years ago
• notxcain / onion-architecure
  An onion architecture example
  ☆70Updated 7 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 5 years ago
• CarlosMChica / haskell-book-readers-exercises
  Exercises from the readers of the Haskell Book
  ☆55Updated 5 years ago
• ashwinbhaskar / functional-way
  Write small programs (eg -algorithms) in a functional way.
  ☆128Updated 3 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 2 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 9 months ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 4 years ago
• BartoszMilewski / AoC2019
  Solutions to Advent of Code 2019
  ☆50Updated 4 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆162Updated 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
  ☆76Updated 7 years ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆202Updated 3 years ago
• typelead / sbt-eta
  An sbt plugin that integrates Eta into Scala projects.
  ☆57Updated 5 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
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆32Updated 5 years ago
• runarorama / fpiscompanion
  Companion booklet for "Functional Programming in Scala"
  ☆57Updated 9 years ago
• debasishg / frdomain-extras
  Additional accompaniment to Functional and Reactive Domain Modeling
  ☆109Updated 3 months ago
• ekmett / machines
  Networks of composable stream transducers
  ☆339Updated 11 months ago
• jdegoes / intro-to-ps
  Introduction to PureScript materials.
  ☆31Updated 7 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆136Updated 3 years ago
• Chymyst / chymyst-core
  Declarative concurrency in Scala - The implementation of the chemical machine
  ☆154Updated 2 years ago
• underscoreio / scalax15-interpreters
  Source code for the Interpreters workshop at Scala Exchange 2015.
  ☆27Updated 8 years ago
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 3 years ago
• earldouglas / sbt-frege
  Frege support for sbt
  ☆53Updated this week
• tonymorris / parametricity-exercises
  Exercises designed specifically to demonstrate parametricity
  ☆28Updated 10 years ago
• ncreep / category-theory-as-a-tool-for-thought
  Material for the "Category Theory as a Tool for Thought" talk
  ☆36Updated last year