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
  ☆66Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆119Updated 5 months ago
• seveno4 / EURISKO
  ☆58Updated 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
  ☆123Updated 3 weeks ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆51Updated 2 weeks ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆92Updated last year
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆151Updated last month
• dseagrav / ld
  LambdaDelta
  ☆132Updated 4 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 4 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 11 months ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆23Updated 5 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 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…
  ☆16Updated 3 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆66Updated 5 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆40Updated 3 years ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 3 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆33Updated last year
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 4 months ago
• kstephens / tort
  Tiny Object Run Time
  ☆24Updated 10 years ago
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆144Updated 9 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• hanshuebner / vlm
  Symbolics Virtual Lisp Machine (C version)
  ☆98Updated 6 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated 2 years ago
• ams / cadr4
  CADR4 -- accurate model of the MIT CADR
  ☆18Updated last month