Fork of Plan 9 meant for education. https://principia-softwarica.org/
☆145Oct 31, 2026Updated this week
Alternatives and similar repositories for principia-softwarica
Users that are interested in principia-softwarica are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- goken9cc — A portable, multi-architecture toolchain (C compilers, assemblers, and linkers) rooted in Ken Thompson's Plan 9 and Inferno t…☆31Sep 23, 2026Updated last month
- Plan 9 programs ported to OCaml https://aryx.github.io/xix☆44Oct 23, 2026Updated last week
- Plan9 (9front) APE with experimental patches☆23Updated this week
- Fork of inferno for 64bit platforms amd64 and arm64. The 64bit dis files are not compatible with the original 32bit dis. The JIT compiler…☆94Jul 8, 2026Updated 3 months ago
- ..☆14Mar 2, 2026Updated 8 months 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.
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago
- ☆16Updated this week
- C in four functions — ported to plan9☆16Feb 28, 2020Updated 6 years ago
- ☆18Mar 27, 2026Updated 7 months ago
- Language server and VS Code extension for Menhir and Ocamllex☆15Updated this week
- Plan9 distribution with AI agent (pi9) and tiny winXP inspired UI.☆27Aug 17, 2026Updated 2 months ago
- Go port to plan9/arm64☆18Mar 11, 2025Updated last year
- Format string experimentations☆14Jul 19, 2021Updated 5 years ago
- fast parallel file copy for Plan 9☆15Nov 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A curated list of awesome Inferno documents, libraries, and software☆104Sep 10, 2025Updated last year
- Unix port of Plan 9 C compilers.☆52Apr 4, 2022Updated 4 years ago
- a fork of Plan 9's Acme and Sam editors with a few extra keyboard shortcuts☆15Jul 4, 2021Updated 5 years ago
- An Emacs clone written in OCaml☆41Jul 2, 2026Updated 4 months ago
- Nix source☆14Nov 21, 2020Updated 5 years ago
- langserver client for acme in rust☆39Oct 15, 2022Updated 4 years ago
- A wrapper and an OCaml library to control 'perf' from the program being profiled.☆16Jul 3, 2025Updated last year
- GRASP for Android☆16Sep 29, 2026Updated last month
- My notes about 9front, a fork of Plan 9 from Bell Labs.☆15Jul 28, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆414Oct 15, 2026Updated 2 weeks ago
- A Javascript implementation of Pytorch with WebGPU.☆14Apr 20, 2023Updated 3 years ago
- A functional, immutable, S-expression based configuration and scripting language, beating Lua (non-JIT) in benchmarks, with easy C integr…☆18Oct 21, 2026Updated 2 weeks ago
- Highly portable C compiler suite for Plan 9 from Bell Labs.☆43Nov 11, 2016Updated 9 years ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago
- Namespace-bounded containment for AI agents, built on a 64-bit Inferno® OS. 9P everywhere, formally verified isolation, 15–30 MB of RAM, …☆33Updated this week
- A small terminal text editor written in and scriptable with let-go, a Clojure-dialect Lisp☆46Sep 24, 2026Updated last month
- Page of the RMEx organisation☆10Jan 15, 2020Updated 6 years ago
- The OCaml runtime ported from C to Rust☆15Jun 6, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A super simple library (with use case) for Js_of_ocaml☆15Jun 14, 2016Updated 10 years ago
- A curated list of awesome Plan9-related documents, libraries, and software☆314Oct 21, 2025Updated last year
- Inferno OS branch (with some necessary addings) common for Android, Windows and Linux☆14Updated this week
- The Anvil Text Editor☆31Oct 21, 2026Updated last week
- acme without window management☆16Dec 29, 2021Updated 4 years ago
- Distributed 9P graphics engine for real-time AI generation☆17Jun 5, 2026Updated 4 months ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago