Fork of Plan 9 meant for education. https://principia-softwarica.org/
☆102May 17, 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:
- ☆10Jan 28, 2013Updated 13 years ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- A Language and its compiler on Ethereum Virtual Machine☆14Dec 17, 2018Updated 7 years ago
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆37May 6, 2026Updated last week
- 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.
- Script to download all of Hackage☆18Jul 14, 2019Updated 6 years ago
- Build NixOS ISO for my shiny new rMBP☆14May 5, 2018Updated 8 years ago
- Builds a CentOS 7 AMI via chroot and Packer☆15Mar 13, 2017Updated 9 years ago
- Objective Caml binding embedding the R interpreter☆23Nov 20, 2010Updated 15 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆20Apr 11, 2022Updated 4 years ago
- A Tornado webserver for controlling Spotify☆15Jan 24, 2012Updated 14 years ago
- Simple DSL that comiles to BPF assembly☆17Apr 19, 2018Updated 8 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- A set of static analysis tools for JavaScript☆20Feb 8, 2011Updated 15 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.
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 3 years ago
- ☆34Dec 3, 2011Updated 14 years ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆29Feb 13, 2026Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 3 months ago
- A secure utmp/wtmp implementation☆19May 9, 2026Updated last week
- OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is sim…☆38Feb 16, 2013Updated 13 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- WIP: unison http implementation☆19Feb 17, 2020Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Plan 9 programs ported to OCaml https://aryx.github.io/xix/index.html☆39Apr 29, 2026Updated 2 weeks ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15May 11, 2026Updated last week
- Pong, the operating system version☆36Mar 6, 2019Updated 7 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.☆27Apr 5, 2026Updated last month
- Automatically exported from code.google.com/p/42tiny-js☆14May 1, 2025Updated last year
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated last year
- Minix getty☆14Sep 5, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Personal research notes☆18Oct 18, 2024Updated last year
- Functional reactive programming in OCaml☆67Oct 22, 2010Updated 15 years ago
- Parser for Emacs org-mode files☆38Dec 12, 2025Updated 5 months ago
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Apr 6, 2026Updated last month
- mobile type (currently Swift, Kotlin) generation from Haskell types☆36Apr 17, 2026Updated last month