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
- ☆69Apr 18, 2024Updated 2 years ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆20Feb 12, 2026Updated 8 months ago
- Idris was an operating system developed by Whitesmiths☆36Nov 20, 2021Updated 4 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 5 months 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.
- Common Lisp implementation of the Forth 2012 Standard☆144Updated this week
- An archive of material related to the Cyc project.☆44Sep 21, 2026Updated last month
- Common lisp library for manipulating PDDL expressions.☆19Sep 4, 2026Updated last month
- 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
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Dec 17, 2008Updated 17 years ago
- Scheme to Common Lisp☆23Dec 16, 2023Updated 2 years ago
- CLIM/ncurses backend/tutorial☆24Feb 26, 2020Updated 6 years ago
- sImlac is an attempt to emulate/simulate the oft neglected Imlac PDS-1 computer/terminal.☆12May 12, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The main objective of the IISCV (Lisp-based Version Control System) project is to "revive the image-based software development paradigm, …☆52Mar 2, 2026Updated 7 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- Assembler framework for Common Lisp.☆44Oct 6, 2026Updated 3 weeks ago
- Files related to the muLISP programming language☆13Jul 7, 2026Updated 3 months ago
- Tools to analyze Interlisp source code, to support VM development, and to eventually bootstrap systems☆18Jun 14, 2026Updated 4 months ago
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated last year
- a Smalltalk-80 virtual machine based on the "Bluebook" specification☆50Apr 25, 2025Updated last year
- ☆17Sep 11, 2026Updated last month
- The source code of Franz Lisp☆69Oct 26, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Portable Standard Lisp☆56Aug 21, 2026Updated 2 months ago
- ☆13Feb 20, 2026Updated 8 months ago
- Common Lisp bytecode compiler☆18Updated this week
- MOVED to code.netzhansa.com/hanshuebner/cadr2. This GitHub mirror is archived.☆17May 23, 2014Updated 12 years ago
- OpenCyc Ontology or Knowledge Base Data Files☆21Jan 14, 2022Updated 4 years ago
- ☆11Feb 16, 2026Updated 8 months ago
- Inference Llama in Common Lisp☆66Nov 7, 2025Updated 11 months ago
- Closure web engine☆18Oct 21, 2026Updated last week
- My working copy of the Common Lisp ANSI Test Suite☆20Apr 1, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An implementation of the Xerox IFS protocol suite☆12Sep 10, 2026Updated last month
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆38Apr 1, 2015Updated 11 years ago
- HTML rendering of chapters 5 and 6 of "The Art of the Metaobject Protocol".☆19May 28, 2025Updated last year
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Common Lisp Audio Video Engine☆20May 27, 2021Updated 5 years ago
- CADR4 -- accurate model of the MIT CADR☆20Sep 8, 2026Updated last month
- ☆12Feb 16, 2023Updated 3 years ago