Alternatives and similar repositories for EURISKO:

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

• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 3 months ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆55Updated 6 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆108Updated 2 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• dev-null321 / RacoGrad
  Deep learning library
  ☆34Updated last month
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 3 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• aartaka / stdlambda
  Standard library for Lambda Calculus, finally making LC a practical programming language.
  ☆14Updated last week
• rochus-keller / Interlisp
  Tools to analyze Interlisp source code, to support VM development, and to eventually bootstrap systems
  ☆16Updated 2 weeks ago
• woodrush / sectorlisp-nn
  A neural network written in pure Lisp without built-in numbers
  ☆37Updated 3 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last week
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆110Updated last month
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆15Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆96Updated 3 weeks ago
• mnieper / scheme-macros
  Scheme Macro Programming
  ☆51Updated 6 months ago
• aartaka / trivial-inspect
  A portable Common Lisp toolkit for building inspectors
  ☆21Updated 3 weeks ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• lispx / lispx
  Ultralight Lisp for the Web
  ☆93Updated 9 months 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
• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆42Updated last year
• stereobooster / wisp
  Mirror of https://hg.sr.ht/~arnebab/wisp
  ☆12Updated 4 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆46Updated this week
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆18Updated last month
• amno1 / as-powerful-as-possible
  ☆47Updated last year
• Anniepoo / declswiplweb
  End to end declarative web programming with no JS using htmx and SWI-Prolog
  ☆13Updated 4 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 6 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 3 weeks ago
• chee / eclweb
  ☆17Updated last year
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆23Updated 8 months ago
• inconvergent / cl-grph
  In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp
  ☆63Updated 6 months ago