A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//
☆13Nov 15, 2021Updated 4 years ago
Alternatives and similar repositories for cmu-ai-repository
Users that are interested in cmu-ai-repository are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scheme to Common Lisp☆23Dec 16, 2023Updated 2 years ago
- CBOR library for Common Lisp☆11Mar 6, 2025Updated last year
- ALS Prolog Compiler & Development Environment☆21Jun 12, 2026Updated 4 months ago
- Complete the Athena Award to earn an invite to Parthenon, a three-day hackathon in the heart of NYC 🗽☆17Jun 23, 2026Updated 3 months ago
- Rational R1000/s400 emulator (second iteration)☆12Mar 25, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- this repository is for archiving files of historical interest but not part of the Medley Interlisp Project going forward☆10Jul 20, 2024Updated 2 years ago
- Header-only Linked List implementation in C☆15Dec 7, 2023Updated 2 years ago
- Micropolis - the city simulator☆14Jul 10, 2025Updated last year
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- VirtualT is a TRS-80 Model 100/102/200 emulator that runs on Windows, Linux, and Macintosh.☆17May 6, 2019Updated 7 years ago
- GNU M4 is an implementation of the traditional Unix macro processor.☆15Mar 3, 2017Updated 9 years ago
- Import SRFI metadata into the Scheme API☆11Aug 9, 2026Updated 2 months ago
- The UNIX System V Release 3.0 source code (Motorola 68000)☆17Jun 10, 2025Updated last year
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Historical preservation of the Idris OS for the Atari ST☆17Oct 17, 2025Updated last year
- Am29000/Am29050 emulator for homebrew G11 computer with windowed operating system disk image.☆26Sep 8, 2026Updated last month
- The portable clu compiler☆12Aug 7, 2022Updated 4 years ago
- The IRIX 6.5.5 source code.☆15Sep 29, 2022Updated 4 years ago
- Artificial Neural Network implementation in Common Lisp☆10Mar 3, 2019Updated 7 years ago
- A re-creation of the original Diehard random number CD-ROM☆12Nov 23, 2019Updated 6 years ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 8 years ago
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated 3 weeks ago
- A lightweight Lua to Lisp transpiler. Translates Lua 5.3 code to a Lisp dialect.☆29Apr 29, 2025Updated last year
- 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.
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆16Dec 12, 2024Updated last year
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- amoeba operating system☆30Sep 30, 2015Updated 11 years ago
- List of distributions that can be bootstrapped from source☆17Apr 21, 2026Updated 6 months ago
- BUG-ITS, ITS-LOVERS, ITS-HACKERS, AI & LCS & DMCG memos☆21Nov 11, 2024Updated last year
- S-expression parser and serializer for PHP☆18Jul 13, 2011Updated 15 years ago
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 2 weeks ago
- The unexec hack. Hideous and useless, but fun to write.☆14Feb 25, 2017Updated 9 years 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.
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- C++ implementation of Pitteway's algorithm for rasterizing ellipses, parabolas, and hyperbolas☆11Sep 28, 2019Updated 7 years ago
- RLE compression implementation in C☆17Mar 15, 2020Updated 6 years ago
- Readline-style line-editor for Common Lisp.☆44Jan 4, 2021Updated 5 years ago
- ffms2 bindings☆13Sep 15, 2026Updated last month
- a conforming ISLisp processor KISS☆17Feb 6, 2019Updated 7 years ago
- ☆10Jan 11, 2019Updated 7 years ago