EncodePanda / papers_i_love

Related projects: ⓘ

• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆216Updated 5 months ago
• HaskellChamber / Haskell-University
  Portfolio-based approach to learning Haskell
  ☆104Updated 6 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 2 years ago
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆102Updated 4 months ago
• jdegoes / scalaworld-2015
  Supporting material for ScalaWorld 2015.
  ☆99Updated 8 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆136Updated 3 years ago
• ashwinbhaskar / functional-way
  Write small programs (eg -algorithms) in a functional way.
  ☆128Updated 3 years ago
• lemastero / scala_typeclassopedia
  Abstractions from Category theory with simple description & implementation, links to further resources.
  ☆379Updated last month
• dnvriend / study-category-theory
  ☆82Updated this week
• system-f / lets-lens
  Course material for lens
  ☆231Updated 5 years ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 4 years ago
• lukleh / haskell-book-exercises
  ☆74Updated this week
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 3 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆156Updated 3 years ago
• ekmett / machines
  Networks of composable stream transducers
  ☆339Updated 11 months ago
• geophf / 1HaskellADay
  ☆229Updated 3 years ago
• notxcain / onion-architecure
  An onion architecture example
  ☆70Updated 7 years ago
• felixmulder / haskell-in-production
  Companion to the Haskell in Production series
  ☆80Updated 4 years ago
• CarlosMChica / haskell-book-readers-exercises
  Exercises from the readers of the Haskell Book
  ☆55Updated 5 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 5 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
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 8 years ago
• sjsyrek / haskell-study-startup
  Launch your own Haskell study group. Now.
  ☆273Updated 4 years ago
• kqr / gists
  With way too messy gist.github pages this is an attempt to organise my snippets
  ☆398Updated 6 years ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆202Updated 5 months ago
• dwayne / haskell-programming
  My notes and solutions to exercises for the book "Haskell Programming from first principles".
  ☆94Updated 2 years ago
• johnynek / bosatsu
  A python-ish pure and total functional programming language
  ☆224Updated this week
• dwhjames / pfds-scala
  Chris Okasaki’s Purely Functional Data Structures in Scala
  ☆31Updated 11 years ago
• typelead / sbt-eta
  An sbt plugin that integrates Eta into Scala projects.
  ☆57Updated 5 years ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆165Updated 7 months ago