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 2 months ago
• nuprl / website
  Source for PRL website
  ☆18Updated 6 months ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• SquareBracketAssociates / PharoByExample9
  The version of Pharo by Example for Pharo 90
  ☆32Updated 9 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
• nihirash / holy
  HoLy is simple http library for Racket language
  ☆12Updated 7 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆85Updated 3 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆142Updated 10 months ago
• exercism / racket
  Exercism exercises in Racket.
  ☆41Updated this week
• greghendershott / markdown
  Markdown parser written in Racket.
  ☆102Updated 2 weeks ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆17Updated last year
• racket / web-server
  ☆94Updated 3 weeks ago
• SquareBracketAssociates / NewPharoByExample9
  The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.
  ☆14Updated 9 months ago
• wilbowma / scribble-minted
  A scribble library for using pygmentize
  ☆16Updated 2 years ago
• kursjan / petitparser2
  A high-performance top-down parser
  ☆44Updated 6 months ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆25Updated 2 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆52Updated 15 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆163Updated 8 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• stchang / parsack
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆49Updated 2 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• Bogdanp / racket-chief
  Chief runs Procfile-based applications. Like foreman, but written in Racket.
  ☆25Updated 2 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆58Updated 3 years ago
• apg / slideshow-simple
  Easier slideshows using Racket's slideshow tool
  ☆22Updated 5 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago