Alternatives and similar repositories for Lispkit:

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

• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆53Updated 11 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆15Updated last year
• Wodan58 / Moy
  Stackless Joy
  ☆22Updated 2 weeks ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• racket / honu
  ☆19Updated last year
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆18Updated 11 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆34Updated 5 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆20Updated last year
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆24Updated last month
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆14Updated 8 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 3 years ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆15Updated 4 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• JorthVM / JorthVM
  a Java VM implemented in Forth
  ☆40Updated 12 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 weeks ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 3 years ago