Alternatives and similar repositories for Lispkit

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

• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 6 years ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆15Updated 5 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆18Updated 4 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• lwhjp / racket-asm
  ☆19Updated 4 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• jhidding / r6rs-monads
  This package implements genereric syntax for working with monads in R6RS scheme.
  ☆25Updated 7 years ago
• racket / honu
  ☆19Updated 2 years ago
• akavel / sherman
  A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.
  ☆17Updated 13 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆40Updated this week
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆25Updated last month
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆12Updated 4 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 7 months ago
• stchang / mlish
  ☆22Updated 5 years ago
• mflatt / zuo
  ☆41Updated 5 months ago
• niallang / Nial_Development
  ☆32Updated 3 years ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆53Updated last year
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated 11 months ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆67Updated 5 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 10 months ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated 2 months ago