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
  ☆51Updated last year
• seveno4 / EURISKO
  ☆57Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆113Updated last month
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆119Updated last month
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆39Updated 3 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆49Updated last week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• dev-null321 / RacoGrad
  Deep learning library
  ☆41Updated 3 months ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 7 months ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆22Updated last month
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated 3 weeks 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
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆51Updated 9 months ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last month
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 3 weeks ago
• hebisch / poplog
  ☆26Updated 2 months ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 2 years ago
• lispx / lispx
  Ultralight Lisp for the Web
  ☆101Updated last year
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆147Updated this week
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆64Updated 14 years ago
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆92Updated last year
• rochus-keller / Interlisp
  Tools to analyze Interlisp source code, to support VM development, and to eventually bootstrap systems
  ☆16Updated 4 months ago
• aartaka / lamber
  A functional scripting language compiling to pure Lambda Calculus
  ☆27Updated 2 weeks ago
• darius / cant
  A programming argot
  ☆58Updated last year
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago