Plan9 distribution with AI agent (pi9) and tiny winXP inspired UI.
☆23Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for agent9
Users that are interested in agent9 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- wine for 9☆17Oct 29, 2022Updated 3 years ago
- Plan9 (9front) APE with experimental patches☆22Oct 14, 2026Updated last week
- Namespace-bounded containment for AI agents, built on a 64-bit Inferno® OS. 9P everywhere, formally verified isolation, 15–30 MB of RAM, …☆28Updated this week
- My Agda/Mikan stuff☆13Aug 29, 2026Updated last month
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated last week
- 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.
- LLM exposed as a 9P filesystem☆50Sep 1, 2026Updated last month
- Porting the Darwin kernel to the AArch64/ARMv7/ARMv6-A architectures.☆12Oct 8, 2026Updated 2 weeks ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Xbox 360 support kernel extensions for Mac OS X☆69Oct 9, 2026Updated last week
- Distributed 9P graphics engine for real-time AI generation☆17Jun 5, 2026Updated 4 months ago
- Allowing AI to use the Level Editor!☆42Oct 4, 2026Updated 2 weeks ago
- ☆16Oct 31, 2023Updated 2 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- SharpEmu website — landing page and PS5 game compatibility database☆21Updated this week
- 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.
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- A functionally complete decompilation of LEGO Island (1997)☆13May 16, 2025Updated last year
- Universal USB driver for DOS, Windows 1.0x/2.xx/3.xx and Windows 95/98/ME☆37Updated this week
- ☆18Feb 20, 2024Updated 2 years ago
- Formalization of 2LTT in Agda☆17Oct 11, 2026Updated last week
- ☆19May 25, 2026Updated 4 months ago
- A compatibility layer of Winsock 2 for Winsock 1.1 systems☆14Jun 15, 2024Updated 2 years 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.
- System benchmarking for proof assistants☆16May 9, 2026Updated 5 months ago
- weather widget for 9front☆23Feb 21, 2026Updated 8 months ago
- This is a version based on v2.3.7 running on emulated PC i386, native Raspi Model 3b and Zero 2, and eventually Olimex ESP32-P4-PC, using…☆165Updated this week
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 4 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated 2 years ago
- Algebra engine.☆60Aug 14, 2026Updated 2 months ago
- SENSES Emulator - now boots arm32 Android versions from 1.5 to 7.1.2☆30Oct 13, 2026Updated last week
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- A high version of CMake that can run on Windows XP.☆12Oct 29, 2023Updated 2 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.
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 15 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Erlang Distribution through ssh☆12Nov 13, 2015Updated 10 years ago
- Plan9/9front drawterm with HIDPI scaling settings on macOS☆31Dec 28, 2025Updated 9 months ago
- An Xcode project for testing the recently found kernel panic on iOS devices☆17Feb 25, 2015Updated 11 years ago
- Coherence typechecker for infinity categories☆21Aug 17, 2026Updated 2 months ago
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 7 months ago