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
  ☆62Updated 9 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆111Updated 2 weeks ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆117Updated last week
• seveno4 / EURISKO
  ☆56Updated last year
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆42Updated 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
  ☆51Updated 8 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
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆49Updated this week
• ratfactor / nasmjf
  NASM port of JONESFORTH!
  ☆55Updated last year
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆146Updated 2 months ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• blakemcbride / PSL
  Portable Standard Lisp
  ☆54Updated 3 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 6 months ago
• CoSyBob / CoSy
  CoSy APL NoteComputing environment in open x86 Reva Forth
  ☆36Updated 5 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆31Updated 6 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 16 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
• schani / forthlisp
  A Small Lisp in Forth
  ☆154Updated 4 years ago
• dseagrav / ld
  LambdaDelta
  ☆124Updated 4 years ago
• mschuldt / raillisp
  A fast and portable lisp implemented in forth
  ☆28Updated 3 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…
  ☆50Updated 2 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆39Updated 3 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆52Updated 8 months ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• narenratan / jonesforth_arm64_apl
  JonesForth ARM64 with APL symbols
  ☆34Updated 2 years ago
• Josefg / Scientific_FORTH
  Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!
  ☆76Updated 8 months ago
• grokthis / ucisc
  ☆23Updated 2 years ago