Fork of Plan 9 meant for education. https://principia-softwarica.org/
☆119Jun 22, 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.☆38May 18, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Script to download all of Hackage☆18Jul 14, 2019Updated 6 years ago
- A Solaris doors IPC implementation for FreeBSD.☆18Jan 30, 2022Updated 4 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☆18Apr 19, 2018Updated 8 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- 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.
- A set of static analysis tools for JavaScript☆20Feb 8, 2011Updated 15 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 4 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 4 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 4 months ago
- A secure utmp/wtmp implementation☆19Updated this 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
- 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.
- 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
- Plan 9 programs ported to OCaml https://aryx.github.io/xix/index.html☆41Jun 18, 2026Updated last week
- 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,…☆16Jun 13, 2026Updated 2 weeks ago
- Pong, the operating system version☆36Mar 6, 2019Updated 7 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆25May 28, 2026Updated last month
- FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.☆28Apr 5, 2026Updated 2 months ago
- Automatically exported from code.google.com/p/42tiny-js☆14May 1, 2025Updated last year
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated 2 years 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.
- Personal research notes☆19Oct 18, 2024Updated last year
- Minix getty☆14Sep 5, 2017Updated 8 years ago
- Wrapper around the libsodium repository providing good integration with CMake when using FetchContent or adding it as a submodule.☆52May 30, 2026Updated 3 weeks ago
- Functional reactive programming in OCaml☆67Oct 22, 2010Updated 15 years ago
- Parser for Emacs org-mode files☆38Updated this week
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- ☆10Jun 29, 2021Updated 4 years ago