Alternatives and similar repositories for racket

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

• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,673Updated 6 months ago
• cisco / ChezScheme
  Chez Scheme
  ☆7,115Updated 2 weeks ago
• racket / drracket
  DrRacket, IDE for Racket
  ☆469Updated this week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,457Updated 4 months ago
• sbcl / sbcl
  Mirror of Steel Bank Common Lisp (SBCL)'s official repository
  ☆1,955Updated this week
• 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
• LuxLang / lux
  The Lux Programming Language
  ☆1,705Updated last month
• clojure / clojure
  The Clojure programming language
  ☆10,650Updated 2 weeks ago
• clasp-developers / clasp
  clasp Common Lisp environment
  ☆2,666Updated this week
• froggey / Mezzano
  An operating system written in Common Lisp
  ☆3,645Updated last month
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,879Updated last week
• hylang / hy
  A dialect of Lisp that's embedded in Python
  ☆5,244Updated 2 weeks ago
• racket / typed-racket
  Typed Racket
  ☆542Updated this week
• factor / factor
  Factor programming language
  ☆1,723Updated last week
• IoLanguage / io
  Io programming language. Inspired by Self, Smalltalk and LISP.
  ☆2,712Updated last year
• gambit / gambit
  Gambit is an efficient implementation of the Scheme programming language.
  ☆1,377Updated this week
• google / schism
  A self-hosting Scheme to WebAssembly compiler
  ☆1,270Updated 3 years ago
• Frege / frege
  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
  ☆3,658Updated 3 months ago
• ashinn / chibi-scheme
  Official chibi-scheme repository
  ☆1,291Updated this week
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,719Updated this week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,656Updated this week
• kanaka / mal
  mal - Make a Lisp
  ☆10,336Updated last month
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,645Updated 11 months ago
• mighty-gerbils / gerbil
  Gerbil Scheme
  ☆1,196Updated last week
• 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
• 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
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,858Updated this week
• pixie-lang / pixie
  A small, fast, native lisp with "magical" powers
  ☆2,352Updated 4 years ago
• mwand / eopl3
  Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
  ☆1,193Updated 2 years ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,059Updated this week