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
  ☆42Updated last year
• seveno4 / EURISKO
  ☆41Updated 9 months ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆109Updated last month
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆106Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆39Updated last week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆46Updated last week
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆56Updated 16 years ago
• ablevm / able-forth
  A Forth-like programming language that targets the AbleVM
  ☆44Updated last year
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆21Updated 2 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
• jjachemich / linux-vlm
  virtual lisp machine on linux
  ☆90Updated 11 months ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆37Updated 2 years ago
• hebisch / poplog
  ☆23Updated last week
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 5 years ago
• nopsys / CogNOS
  A Cog VM in the bare metal using the Nopsys library
  ☆34Updated 6 years ago
• blakemcbride / PSL
  Portable Standard Lisp
  ☆53Updated 3 years ago
• danlm / QNial7
  The NIAL language environment
  ☆110Updated last year
• plande / grand-scheme
  The Grand Scheme Glossary
  ☆30Updated 3 years ago
• ForthHub / cmFORTH
  Copy of cmFORTH
  ☆38Updated 3 years ago
• tavmem / buddy
  early A interpreter with buddy system space management.
  ☆41Updated 4 years ago
• larsbrinkhoff / forth-documents
  Forth douments, books, papers
  ☆79Updated 7 years ago
• xorvoid / forsp
  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
  ☆156Updated 6 months ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆59Updated 2 years ago
• CoSyBob / CoSy
  CoSy APL NoteComputing environment in open x86 Reva Forth
  ☆36Updated 4 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆63Updated 13 years ago
• dseagrav / ld
  LambdaDelta
  ☆123Updated 4 years ago
• blakemcbride / LISPF4
  InterLisp interpreter
  ☆64Updated 2 months ago