Alternatives and similar repositories for cs5010f17:

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

• buntine / Simply-Scheme-Exercises
  All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
  ☆114Updated 7 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• nuprl / website
  Source for PRL website
  ☆18Updated 5 months ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• NalaGinrut / guile-colorized
  colorized REPL for GNU Guile
  ☆37Updated 6 years ago
• racket / racket-lang-org
  ☆70Updated 2 weeks ago
• johnwcowan / r7rs-spec
  ☆16Updated last year
• kstephens / tinyclos
  Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/
  ☆59Updated 13 years ago
• abarbu / android-kawa
  Examples of Android applications written in Kawa scheme
  ☆56Updated 11 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• ktakashi / sagittarius-scheme
  A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub
  ☆50Updated 2 weeks ago
• dharmatech / clos
  Tiny CLOS for R6RS Scheme
  ☆14Updated 13 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆28Updated 7 years ago
• becls / swish-lint
  ☆14Updated 4 months ago
• simmone / racket-simple-qr
  a qr code tool for racket-lang
  ☆11Updated 10 months ago
• nyuichi / r7expander
  R7RS expander
  ☆15Updated 3 years ago
• thzt / scheme-koans
  ☆10Updated 8 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• adamrk / scheme2luac
  A Scheme compiler to Lua bytecode
  ☆22Updated 8 years ago
• danprager / racket-2048
  The 2048 game implemented in Racket language
  ☆81Updated 10 years ago
• racket / racklog
  ☆17Updated 2 months ago
• dyoo / simply-scheme
  simply-scheme language bindings for Racket
  ☆15Updated 3 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆99Updated 6 months ago
• pmatos / darwin
  Darwin is a static blog generator written in Racket - forked from Frog
  ☆18Updated 4 years ago
• greghendershott / markdown
  Markdown parser written in Racket.
  ☆101Updated 9 months ago
• polybuildr / balloon-lang
  The Balloon programming language and interpreter.
  ☆17Updated 7 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• lexi-lambda / racket-collections
  Generic collections API for Racket
  ☆52Updated 3 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago