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
  ☆55Updated 6 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆108Updated 2 years ago
• seveno4 / EURISKO
  ☆41Updated 9 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆110Updated last month
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆89Updated last year
• bakul / s9fes
  Scheme 9 from Empty Space (Reimagined)
  ☆72Updated last month
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• blakemcbride / PSL
  Portable Standard Lisp
  ☆53Updated 3 years ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆22Updated 2 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆31Updated 5 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 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…
  ☆14Updated 3 years ago
• g000001 / MacLISP-compat
  MacLISPのコードをCLで動かす
  ☆16Updated 10 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆39Updated 3 weeks ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 2 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 15 years ago
• locklin / lush-code
  ☆18Updated 2 weeks ago
• hebisch / poplog
  ☆24Updated 3 weeks ago
• timonoko / nokolisp
  Lisp interpreter and compiler from 1977-1988 for MSDOS.
  ☆29Updated 7 years ago
• endoli / brass-tacks
  Sorting out the basic facts behind our projects.
  ☆9Updated 8 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last week
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• ablevm / able-forth
  A Forth-like programming language that targets the AbleVM
  ☆45Updated last year
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• CoSyBob / CoSy
  CoSy APL NoteComputing environment in open x86 Reva Forth
  ☆36Updated 4 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆63Updated 13 years ago