Alternatives and similar repositories for am

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

• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆68Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆125Updated 9 months ago
• seveno4 / EURISKO
  ☆61Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆133Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆55Updated last month
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 4 years ago
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆95Updated 2 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆155Updated 3 months ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 3 years ago
• slburson / PTTP
  Prolog Technology Theorem Prover
  ☆12Updated last year
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆43Updated 16 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆23Updated 5 years ago
• dseagrav / ld
  LambdaDelta
  ☆136Updated 5 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆61Updated 2 weeks ago
• blakemcbride / PSL
  Portable Standard Lisp
  ☆55Updated last month
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• false-schemers / sharpF
  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…
  ☆60Updated 3 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 6 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆42Updated 4 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• locklin / lush-code
  ☆20Updated last year
• hebisch / poplog
  ☆28Updated 5 months ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆154Updated 10 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆68Updated 5 years ago