Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
☆86Jan 3, 2024Updated 2 years ago
Alternatives and similar repositories for am
Users that are interested in am are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Doug Lenat's EURISKO from SAIL archives circa 1981☆80Jul 6, 2024Updated 2 years ago
- ☆67Apr 18, 2024Updated 2 years ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 5 months ago
- Scheme to Common Lisp☆23Dec 16, 2023Updated 2 years ago
- An archive of material related to the Cyc project.☆42Jul 19, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Idris was an operating system developed by Whitesmiths☆33Nov 20, 2021Updated 4 years ago
- Mesa machine architecture emulator for Xerox 6085 and Guam workstations☆27Jan 11, 2025Updated last year
- A library for seamless multi-language programming.☆38Jan 29, 2025Updated last year
- sImlac is an attempt to emulate/simulate the oft neglected Imlac PDS-1 computer/terminal.☆12May 12, 2020Updated 6 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Closure web engine☆17Jul 22, 2022Updated 4 years ago
- crowd-defunding☆10Jul 4, 2026Updated last month
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated last year
- Common lisp library for manipulating PDDL expressions.☆19Jun 19, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A production-quality expert-system shell, written in thoroughly modern Common Lisp.☆140Jul 8, 2026Updated last month
- ☆17Jul 20, 2026Updated 3 weeks ago
- MOVED to code.netzhansa.com/hanshuebner/cadr2. This GitHub mirror is archived.☆17May 23, 2014Updated 12 years ago
- The source code of Franz Lisp☆68Oct 26, 2020Updated 5 years ago
- My working copy of the Common Lisp ANSI Test Suite☆17Apr 1, 2023Updated 3 years ago
- CADR4 -- accurate model of the MIT CADR☆19Aug 25, 2025Updated 11 months ago
- Run etcd as an asynchronous inferior process☆21Feb 2, 2023Updated 3 years ago
- OpenCyc Ontology or Knowledge Base Data Files☆21Jan 14, 2022Updated 4 years ago
- HTML rendering of chapters 5 and 6 of "The Art of the Metaobject Protocol".☆19May 28, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Portable Standard Lisp☆56Dec 23, 2025Updated 7 months ago
- Code and software "archive" for the CP/M operating system created from 1979-1984☆58Sep 10, 2025Updated 11 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- A Small-Footprint Lisp Interpreter☆29May 3, 2026Updated 3 months ago
- Common Lisp implementation of the Forth 2012 Standard☆143Jul 26, 2026Updated 2 weeks ago
- Common Lisp Audio Video Engine☆20May 27, 2021Updated 5 years ago
- The Amsterdam Compiler Kit☆26Mar 30, 2025Updated last year
- A collection of Common Lisp modules☆17Jun 11, 2026Updated last month
- ITS version 138 from 1967, for the PDP-6☆15Mar 10, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆12Jun 7, 2024Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- ☆20May 12, 2023Updated 3 years ago
- CLIM/ncurses backend/tutorial☆24Feb 26, 2020Updated 6 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- experimental computational medium and supporting tools☆24Updated this week
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated last year