dstcruz / Write-Yourself-A-Scheme-In-48-Hours

Related projects: ⓘ

• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆308Updated 10 months ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆182Updated 8 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 11 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆101Updated 8 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆125Updated 11 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 7 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 14 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆157Updated 4 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆161Updated 6 years ago
• cyga / real-world-haskell
  parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/)
  ☆89Updated 7 years ago
• gregorulm / h2048
  An implementation of the game 2048 in Haskell
  ☆88Updated 10 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆248Updated 14 years ago
• sdiehl / papers
  ☆95Updated 9 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆294Updated 3 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆61Updated 4 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
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆108Updated 8 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 13 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆101Updated 9 years ago
• commercialhaskell / haskelldocumentation
  Repository for collaborative Haskell documentation
  ☆209Updated 2 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆146Updated 2 months ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• soimort / wiki
  ☆79Updated 6 years ago
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆24Updated 7 years ago
• write-you-a-scheme-v2 / scheme
  Write You a Scheme
  ☆552Updated last year
• pedropramos / PyonR
  A Python implementation for Racket
  ☆149Updated 6 years ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 12 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆196Updated 8 years ago