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
  ☆56Updated 7 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆109Updated 2 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆114Updated 2 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• 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 3 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆40Updated last month
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 2 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆48Updated this week
• seveno4 / EURISKO
  ☆48Updated 10 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• MMcM / lmkbd2
  Lisp Machine Keyboard USB driver
  ☆31Updated 5 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆90Updated last year
• larsbrinkhoff / forth-documents
  Forth douments, books, papers
  ☆80Updated 7 years ago
• hww / makerlisp
  https://makerlisp.com/
  ☆18Updated 4 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆31Updated 6 years ago
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• PDP-10 / Interlisp-10
  ☆19Updated last year
• xorvoid / forsp
  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
  ☆159Updated 8 months ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆38Updated 3 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆21Updated 9 years ago
• bictorv / chaosnet-bridge
  Bridge program for various Chaosnet link implementations.
  ☆23Updated this week
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• uho / preForth
  a minimalistic Forth kernel that can bootstrap
  ☆79Updated 2 years ago
• Josefg / Scientific_FORTH
  Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!
  ☆76Updated 6 months ago
• g000001 / MacLISP-compat
  MacLISPのコードをCLで動かす
  ☆16Updated 10 years ago