Alternatives and similar repositories for eurisko:

Users that are interested in eurisko are comparing it to the libraries listed below

• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆43Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆108Updated 2 years ago
• seveno4 / EURISKO
  ☆46Updated 9 months ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆113Updated 2 months ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆47Updated this week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆40Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆37Updated 3 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆22Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• stuartpb / shrdlu
  Terry Winograd's SHRDLU
  ☆38Updated 13 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• hebisch / poplog
  ☆25Updated this week
• googoogaga / goo
  The Goo programming language.
  ☆24Updated 10 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 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
• CoSyBob / CoSy
  CoSy APL NoteComputing environment in open x86 Reva Forth
  ☆36Updated 4 years ago
• mschuldt / raillisp
  A fast and portable lisp implemented in forth
  ☆28Updated 3 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆63Updated 13 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• fare / fare-quasiquote
  Portable implementation of quasiquote for Common Lisp
  ☆27Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆98Updated last month
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 4 months ago
• jiyunomegami / Vacietis
  C to Common Lisp compiler
  ☆8Updated 8 years ago
• schani / forthlisp
  A Small Lisp in Forth
  ☆155Updated 3 years ago