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
  ☆13Updated 2 weeks ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆77Updated 13 years ago
• exercism / racket
  Exercism exercises in Racket.
  ☆46Updated last week
• racket / eopl
  ☆39Updated 2 months ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆128Updated 13 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• racket / htdp
  ☆111Updated last week
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆102Updated last year
• mwand / cs5010f17
  ☆12Updated 4 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 10 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• rmculpepper / iracket
  Jupyter kernel for Racket
  ☆100Updated 8 months ago
• jeapostrophe / opencl
  FFI for OpenCL
  ☆12Updated 10 years ago
• nuprl / website
  Source for PRL website
  ☆18Updated last week
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆87Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• greghendershott / markdown
  Markdown parser written in Racket.
  ☆104Updated 7 months ago
• florence / cover
  a code coverage tool for racket
  ☆39Updated last year
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆93Updated 2 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆191Updated 9 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆22Updated 4 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• caocao485 / awesome-racket-and-scheme
  awesome racket and scheme project
  ☆102Updated 2 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆59Updated 4 years ago
• akeep / nanopass-framework
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324Updated 4 years ago
• the-little-prover / j-bob
  ☆436Updated 2 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆131Updated 11 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆19Updated 2 years ago