Alternatives and similar repositories for stalin

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

• pycket / pycket
  A rudimentary Racket implementation using RPython
  ☆265Updated last month
• akeep / scheme-to-c
  A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
  ☆363Updated 4 years ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆377Updated 11 months ago
• kfl / mosml
  Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  ☆350Updated last year
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆310Updated 11 years ago
• eudoxia0 / interim
  Low-level Lisp with compile-time memory management
  ☆275Updated 7 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆215Updated 10 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆190Updated last year
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆359Updated 7 years ago
• larcenists / larceny
  Larceny Scheme implementation
  ☆209Updated 7 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆116Updated 2 months ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆164Updated 8 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆212Updated 2 years ago
• kiselgra / c-mera
  Next-level syntax for C-like languages :)
  ☆424Updated 2 months ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• manuel-serrano / bigloo
  a practical Scheme compiler
  ☆154Updated this week
• attila-lendvai / maru
  Maru - a tiny self-hosting lisp dialect
  ☆198Updated this week
• picolisp / picolisp
  PicoLisp active development has moved to the pil21 repository: https://github.com/picolisp/pil21
  ☆207Updated 4 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆124Updated 5 years ago
• kimtg / arcadia
  An implementation of the Arc programming language
  ☆200Updated 3 months ago
• danlm / QNial7
  The NIAL language environment
  ☆112Updated 2 years ago
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆367Updated last month
• nanopass / nanopass-framework-scheme
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆508Updated 2 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• pedropramos / PyonR
  A Python implementation for Racket
  ☆150Updated 7 years ago
• dharmatech / mpl
  Computer Algebra and Symbolic Computation for R6RS Scheme
  ☆64Updated 2 years ago
• racket / racket7
  ☆170Updated 7 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• yuriy-chumak / ol
  Otus Lisp (Ol) is a purely functional multi-platform Scheme dialect with built-in FFI and infix math.
  ☆259Updated this week
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago