BinRoot / Haskell-Lectures

Related projects: ⓘ

• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆61Updated 4 years ago
• katychuang / getting-started-with-haskell
  notes on where to find Haskell tutorials and tips to complete them
  ☆118Updated 5 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 14 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
• haskelllive / haskelllive
  Source code of the Haskell Live episodes.
  ☆130Updated 12 years ago
• jonsterling / type-theory-and-its-meaning-explanations
  ☆61Updated this week
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆35Updated last year
• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆28Updated 3 years ago
• sheganinans / pres
  My old Haskell presentation, still some good bits.
  ☆8Updated 9 years ago
• bendoerr / real-world-haskell
  My solutions to exercises in the book Real World Haskell by Bryan O'Sullivan, John Goerzen & Don Stewart.
  ☆33Updated 11 years ago
• skaslev / why-types
  Why Types Matter
  ☆45Updated 7 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 7 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆60Updated 4 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 11 years ago
• aelve / guide
  A workspace for research teams
  ☆106Updated 4 years ago
• 1HaskellADay / 1HAD
  1 Haskell A Day exercises
  ☆119Updated 10 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆43Updated 8 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 11 years ago
• ekmett / free
  free monads
  ☆160Updated 4 months ago
• haskell / parallel
  a library for parallel programming
  ☆91Updated 5 months ago
• FranklinChen / twenty-four-days2015-of-hackage
  My own little "24 Days of Hackage" for 2015
  ☆62Updated 7 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆45Updated 5 years ago
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆106Updated 3 months ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆193Updated last year
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 3 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆59Updated 5 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• bhurt / presentations
  A repo for my presentations.
  ☆27Updated 6 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 8 years ago