Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
☆89Jan 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☆82Jul 6, 2024Updated 2 years ago
- ☆68Apr 18, 2024Updated 2 years ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 7 months ago
- Scheme to Common Lisp☆23Dec 16, 2023Updated 2 years ago
- An archive of material related to the Cyc project.☆44Sep 21, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Idris was an operating system developed by Whitesmiths☆35Nov 20, 2021Updated 4 years ago
- Mesa machine architecture emulator for Xerox 6085 and Guam workstations☆28Jan 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 6 years ago
- Closure web engine☆17Jul 22, 2022Updated 4 years ago
- crowd-defunding☆10Jul 4, 2026Updated 3 months ago
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated last year
- Common lisp library for manipulating PDDL expressions.☆19Sep 4, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Sep 11, 2026Updated last month
- 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☆19Sep 8, 2026Updated last month
- 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
- Portable Standard Lisp☆56Aug 21, 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.
- Code and software "archive" for the CP/M operating system created from 1979-1984☆61Sep 10, 2025Updated last year
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- A Small-Footprint Lisp Interpreter☆31May 3, 2026Updated 5 months ago
- Common Lisp implementation of the Forth 2012 Standard☆144Jul 26, 2026Updated 2 months 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 4 months ago
- ITS version 138 from 1967, for the PDP-6☆15Mar 10, 2024Updated 2 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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☆18Jun 6, 2025Updated last year
- Assembler framework for Common Lisp.☆44Updated this week