Alternatives and similar repositories for reading-group:

Users that are interested in reading-group are comparing it to the libraries listed below

• lambdaconf / lambdaconf-2016-usa
  Repository for LambdaConf 2016 USA.
  ☆64Updated 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
  ☆79Updated 7 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• typelead / eta-examples
  Examples of Eta in action.
  ☆36Updated 6 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆70Updated 9 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• bhurt / presentations
  A repo for my presentations.
  ☆28Updated 7 years ago
• robbinch / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆23Updated 9 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• bitemyapp / presentations
  what it says on the tin
  ☆24Updated 6 years ago
• sharkdp / purescript-ctprelude
  A Prelude with names from category theory
  ☆51Updated 8 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆21Updated this week
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 10 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• lambda-rennes / space-invaders
  ☆10Updated 4 years ago
• degoes-consulting / lambdaconf-2015
  The official supporting materials repository for LambdaConf 2015.
  ☆90Updated 9 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• jwiegley / coq-pipes
  ☆98Updated 7 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆20Updated 7 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• rahulmutt / eta-2048
  2048 game clone using Yampa FRP library
  ☆29Updated 6 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• parsonsmatt / lambda
  An exploration and implementation of the lambda calculus.
  ☆12Updated 8 years ago