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
  ☆64Updated 10 months ago
• seveno4 / EURISKO
  ☆57Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆112Updated last month
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆117Updated last week
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆92Updated last year
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆43Updated last week
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆49Updated this week
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 5 years ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 2 years ago
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆146Updated 2 months ago
• darius / cant
  A programming argot
  ☆58Updated last year
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 16 years ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆22Updated last month
• g000001 / MacLISP-compat
  MacLISPのコードをCLで動かす
  ☆16Updated 11 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last month
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆39Updated 3 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆22Updated 9 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• PDP-10 / Interlisp-10
  ☆19Updated 2 years ago
• mschuldt / raillisp
  A fast and portable lisp implemented in forth
  ☆28Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 7 months ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 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
• narenratan / jonesforth_arm64_apl
  JonesForth ARM64 with APL symbols
  ☆34Updated 2 years ago
• false-schemers / skint
  Cheap and fast R7RS Scheme interpreter
  ☆75Updated 3 months ago
• blakemcbride / LISPF4
  InterLisp interpreter
  ☆68Updated 2 months ago