seveno4 / EURISKO
☆48Updated 10 months ago
Alternatives and similar repositories for EURISKO:
Users that are interested in EURISKO are comparing it to the libraries listed below
- Doug Lenat's EURISKO from SAIL archives circa 1981☆56Updated 7 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆109Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆33Updated last month
- A lisp dialect based on pattern matching and term rewriting☆84Updated 4 months ago
- Sunrise on the Boxer Reconstruction Project☆48Updated this week
- Copies of prolog solvers for use from python☆17Updated 7 months ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- Deep learning library☆38Updated this week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆49Updated 2 years ago
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆43Updated last year
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 9 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Reader to enable embedding images in source files as text☆18Updated 2 months ago
- A tiny, self-contained, general-purpose quantum interpreter.☆48Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Common Lisp implementation of the Forth 2012 Standard☆114Updated 2 months ago
- Autoregressive transformers in APL☆100Updated 2 weeks ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- MUD Server written in Prolog using Forward chaining☆29Updated 3 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- Scheme to Common Lisp☆15Updated last year
- Template engine for ISO Prolog, based on Jinja and Tera☆15Updated last year
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Exploring the Lisp Family of languages☆21Updated 5 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 9 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆95Updated 4 years ago
- A programming argot☆58Updated 10 months ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago