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
• seveno4 / EURISKO
  ☆48Updated 11 months ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆49Updated this week
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆109Updated 2 years ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆115Updated 3 months ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 15 years ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 2 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• xorvoid / forsp
  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
  ☆166Updated 8 months ago
• darius / cant
  A programming argot
  ☆58Updated 11 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 5 months ago
• kstephens / tort
  Tiny Object Run Time
  ☆21Updated 9 years ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆39Updated 3 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated last year
• mikewarot / mstoical
  MStoical - a Forth like language, but better
  ☆25Updated last year
• Bystroushaak / tinySelf
  Self-like language implemented in the RPython language toolkit.
  ☆31Updated 3 years ago
• blakemcbride / LISPF4
  InterLisp interpreter
  ☆68Updated last month
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆52Updated 7 months ago
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆146Updated last month
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated 2 weeks 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…
  ☆50Updated 2 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• amno1 / as-powerful-as-possible
  ☆47Updated 2 years ago
• dev-null321 / RacoGrad
  Deep learning library
  ☆41Updated 3 weeks ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago