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
  ☆55Updated 2 years ago
• seveno4 / EURISKO
  ☆61Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆123Updated 8 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆31Updated last month
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆23Updated 5 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆55Updated 2 weeks ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated last month
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 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…
  ☆15Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 4 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• kstephens / tort
  Tiny Object Run Time
  ☆24Updated 10 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 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
• 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…
  ☆60Updated 3 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆132Updated 3 weeks ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 7 years ago
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆43Updated 16 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• slburson / PTTP
  Prolog Technology Theorem Prover
  ☆12Updated last year
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆32Updated 6 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆32Updated last week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 8 months ago