Alternatives and similar repositories for cs173-python

Users that are interested in cs173-python are comparing it to the libraries listed below

• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• xudifsd / libsi
  C library for interpreting scheme
  ☆18Updated 3 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• WeixiMa / C311Sp20
  ☆16Updated 5 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆164Updated 6 months ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆52Updated 15 years ago
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 8 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆57Updated this week
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last week
• reborg / jscheme
  Jscheme (Scheme (in Java (by Peter Norvig)))
  ☆52Updated 6 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆15Updated 12 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• pkrumins / the-seasoned-schemer
  All the Scheme code examples from the book "The Seasoned Schemer"
  ☆100Updated 6 years ago
• shouya / thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆31Updated last year
• racket / eopl
  ☆39Updated last month
• overminder / sanya-native
  Yet another scheme compiler... This time generating shitty code.
  ☆17Updated 12 years ago
• bdj / dybvig-three-imp
  Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…
  ☆21Updated 15 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆28Updated 11 years ago
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 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
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• dybvig / ChezScheme
  Chez Scheme
  ☆39Updated 3 years ago
• rubenbarroso / EOPL
  My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.
  ☆28Updated 13 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 11 years ago