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

Related projects ⓘ

Alternatives and complementary repositories for Write-Yourself-A-Scheme-In-48-Hours

• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆308Updated last year
• chris-taylor / SICP-in-Haskell
  ☆49Updated 11 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 9 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆101Updated 8 years ago
• sdiehl / papers
  ☆95Updated 9 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 14 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 7 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆161Updated 6 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆185Updated 8 years ago
• CNMDR3G / CNMDR3G
  CN MonaD.ReadeR Reading Group
  ☆108Updated 8 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆24Updated 7 years ago
• bobzhang / ocaml-book
  a book about ocaml
  ☆186Updated 7 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆249Updated 14 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆58Updated 13 years ago
• racket / eopl
  ☆37Updated 2 weeks ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆167Updated last year
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆61Updated 5 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆160Updated 4 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆130Updated 9 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• Javran / Thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆24Updated 3 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆58Updated 2 years ago
• write-you-a-scheme-v2 / scheme
  Write You a Scheme
  ☆552Updated last year
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆155Updated 3 years ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆75Updated last month
• commercialhaskell / haskelldocumentation
  Repository for collaborative Haskell documentation
  ☆209Updated 2 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆295Updated 4 years ago