Alternatives and similar repositories for cs5010f16

Users that are interested in cs5010f16 are comparing it to the libraries listed below

• wonks / wonks.github.io
  PL Wonks website
  ☆12Updated this week
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆86Updated 15 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆28Updated 2 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 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.
  ☆353Updated last year
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆127Updated 12 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆361Updated 7 years ago
• mozart / mozart2
  Mozart Programming System v2
  ☆595Updated 7 months ago
• racket / scribble
  ☆232Updated last week
• the-little-prover / j-bob
  ☆433Updated last year
• sicp-lang / sicp
  A SICP language for Racket.
  ☆198Updated last year
• mwand / cs5010f17
  ☆12Updated 3 years ago
• akeep / nanopass-framework
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324Updated 4 years ago
• pycket / pycket
  A rudimentary Racket implementation using RPython
  ☆266Updated 3 weeks ago
• aistrate / Articles
  Various interesting articles, in PDF or PS form
  ☆239Updated 12 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 4 years ago
• dmac / spin
  Write RESTful web apps in Racket.
  ☆230Updated 8 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆167Updated last week
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆151Updated 2 months ago
• buntine / Simply-Scheme-Exercises
  All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
  ☆116Updated 7 years ago
• racket / htdp
  ☆107Updated 3 weeks ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆291Updated 7 years ago
• webyrd / miniKanren
  Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
  ☆135Updated 10 years ago
• EFanZh / EOPL-Exercises
  My solutions to exercises from the book Essentials of Programming Languages.
  ☆40Updated 5 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• TUBAF-IfI-LiaScript / VL_SoftwareprojektRobotik
  Vorlesung Softwareprojekt TU Bergakademie Freiberg
  ☆22Updated 9 months ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆304Updated 4 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆190Updated 9 years ago