Alternatives and similar repositories for ChezScheme

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

• racket / racket
  The Racket repository
  ☆4,975Updated this week
• sarabander / sicp-pdf
  SICP PDF with Texinfo and LaTeX source
  ☆4,342Updated 11 months ago
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,298Updated 6 months ago
• ashinn / chibi-scheme
  Official chibi-scheme repository
  ☆1,291Updated this week
• mwand / eopl3
  Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
  ☆1,193Updated 2 years ago
• froggey / Mezzano
  An operating system written in Common Lisp
  ☆3,645Updated last month
• kanaka / mal
  mal - Make a Lisp
  ☆10,336Updated last month
• sarabander / sicp
  HTML5/EPUB3 version of SICP
  ☆4,430Updated 2 years ago
• gambit / gambit
  Gambit is an efficient implementation of the Scheme programming language.
  ☆1,377Updated this week
• clasp-developers / clasp
  clasp Common Lisp environment
  ☆2,664Updated this week
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,673Updated 6 months ago
• yinwang0 / pysonar2
  PySonar2: a semantic indexer for Python with interprocedual type inference
  ☆1,412Updated 8 months ago
• rswier / c4
  C in four functions
  ☆10,176Updated last year
• part-cw / lambdanative
  LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows,…
  ☆1,413Updated last month
• ocaml / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆5,833Updated this week
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,879Updated last week
• JeffBezanson / femtolisp
  a lightweight, robust, scheme-like lisp implementation
  ☆1,610Updated 5 years ago
• mighty-gerbils / gerbil
  Gerbil Scheme
  ☆1,196Updated this week
• google / schism
  A self-hosting Scheme to WebAssembly compiler
  ☆1,270Updated 3 years ago
• sbcl / sbcl
  Mirror of Steel Bank Common Lisp (SBCL)'s official repository
  ☆1,955Updated this week
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,137Updated this week
• remacs / remacs
  Rust Emacs
  ☆4,604Updated 4 years ago
• ghc / ghc
  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). F…
  ☆3,131Updated this week
• orangeduck / mpc
  A Parser Combinator library for C
  ☆2,744Updated last year
• IoLanguage / io
  Io programming language. Inspired by Self, Smalltalk and LISP.
  ☆2,708Updated last year
• sdiehl / write-you-a-haskell
  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  ☆3,386Updated 4 years ago
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,237Updated 8 months ago
• namin / inc
  an incremental approach to compiler construction
  ☆937Updated 5 years ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,457Updated 4 months ago
• google / lisp-koans
  Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prio…
  ☆3,169Updated 2 years ago