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

Users that are interested in Write-Yourself-A-Scheme-In-48-Hours are comparing it to the libraries listed below

• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆316Updated 2 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆173Updated 5 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆128Updated 12 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆256Updated 15 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 2 months ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• perl6 / Pugs.hs
  (ARCHIVE) Raku User's Golfing System in Haskell
  ☆85Updated 4 years ago
• sdiehl / papers
  ☆96Updated 10 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• JakeWheat / intro_to_parsing
  Introduction to parsing with Haskell and Parsec
  ☆506Updated 6 years ago
• aistrate / Articles
  Various interesting articles, in PDF or PS form
  ☆238Updated 12 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆60Updated 14 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆132Updated 10 years ago
• ninegua / lambda-viewer
  Learn You a Lambda, a Haskell Tutorial
  ☆47Updated 8 years ago
• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆359Updated last year
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆120Updated 3 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆196Updated last year
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆99Updated 9 years ago
• cyga / real-world-haskell
  parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/)
  ☆89Updated 9 years ago
• akeep / nanopass-framework
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324Updated 4 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆302Updated 9 months ago
• mflatt / plai-typed
  ☆51Updated 2 years ago
• haskell / haskell-report
  Haskell Language Report
  ☆94Updated 5 years ago