Fork of Plan 9 meant for education. https://principia-softwarica.org/
☆131Jul 20, 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:
- literate programming meets unison☆41Jul 2, 2026Updated 2 weeks ago
- Plan9 (9front) APE with experimental patches☆17May 29, 2026Updated last month
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- My notes about 9front, a fork of Plan 9 from Bell Labs.☆14Apr 29, 2026Updated 2 months ago
- Plan 9 programs ported to OCaml https://aryx.github.io/xix/index.html☆42Jul 2, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- a fork of Plan 9's Acme and Sam editors with a few extra keyboard shortcuts☆15Jul 4, 2021Updated 5 years ago
- C in four functions — ported to plan9☆11Feb 28, 2020Updated 6 years ago
- GRASP for Android☆16Mar 13, 2023Updated 3 years ago
- The Anvil Text Editor☆20Dec 27, 2025Updated 6 months ago
- A wrapper and an OCaml library to control 'perf' from the program being profiled.☆16Jul 3, 2025Updated last year
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago
- Inferno OS branch (with some necessary addings) common for Android, Windows and Linux☆14Jun 15, 2020Updated 6 years ago
- ☆27Sep 29, 2018Updated 7 years ago
- Direct Manipulation of Turtle Graphics☆37Jan 12, 2022Updated 4 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.
- Distributed 9P graphics engine for real-time AI generation☆17Jun 5, 2026Updated last month
- A curated list of awesome Plan9-related documents, libraries, and software☆310Oct 21, 2025Updated 9 months ago
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆403Jun 11, 2026Updated last month
- A TUI text editor written in C++☆12Jun 13, 2022Updated 4 years ago
- Provide a testing environnement (refutable) for OCaml using -ppx☆19Aug 28, 2017Updated 8 years ago
- plan 9 implementation of the pico image composing language☆17Jul 7, 2026Updated 2 weeks ago
- A PBT framework☆10Jul 19, 2025Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated last year
- Highly portable C compiler suite for Plan 9 from Bell Labs.☆41Nov 11, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- multi-shot continuations in OCaml☆55Nov 21, 2025Updated 8 months ago
- A macos port of the hare language's compiler (https://harelang.org). See README.darwin.☆22Dec 3, 2024Updated last year
- a Plan 9-like system based using tamago☆19Oct 10, 2023Updated 2 years ago
- Plan9/9front drawterm with HIDPI scaling settings on macOS☆29Dec 28, 2025Updated 6 months ago
- Unix port of Plan 9 C compilers.☆51Apr 4, 2022Updated 4 years ago
- Random and fixed notification scheduling app for Android.☆16May 12, 2026Updated 2 months ago
- A plan9 executable and debug info parser☆18Jul 18, 2023Updated 3 years ago
- A command-line parser for Standard ML☆22Dec 29, 2025Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Now I shall sing the second kingdom there where the soul of man is cleansed, made worthy to ascend to Heaven.☆17Apr 15, 2026Updated 3 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆18Feb 25, 2026Updated 4 months ago
- LOUDS-trie implementation example (C++)☆15Nov 27, 2019Updated 6 years ago
- A curated list of awesome Inferno documents, libraries, and software☆103Sep 10, 2025Updated 10 months ago
- #lang for writing C code☆16May 30, 2017Updated 9 years ago
- [DEPRECATED] Package Manager (like Aptitude, for Debian) (and project builder) for RPGMaker VXAce☆16Apr 29, 2018Updated 8 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago