An operating system🧑💻 written using C and Sage
☆46May 11, 2024Updated 2 years ago
Alternatives and similar repositories for sage-os
Users that are interested in sage-os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A programming language that's wise beyond its bytes!🌱🌿🪴☆554May 18, 2026Updated 4 months ago
- An assembler that compiles down to just 8 instructions🧠☆16Feb 18, 2026Updated 7 months ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A superset of brainfuck with dynamic memory management.☆31Oct 2, 2020Updated 5 years ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 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.
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 4 years ago
- Bad Apple!! for Neovim v0.7+ in Lua. Includes optional sound support.☆14May 6, 2022Updated 4 years ago
- ☆10Feb 3, 2025Updated last year
- ☆18Jul 19, 2024Updated 2 years ago
- A language that ports⚓: examining the limits of compilation⚙️.☆104Jul 26, 2022Updated 4 years ago
- Game Boy Color emulator for TI-Nspire☆17Sep 12, 2010Updated 16 years ago
- The Nox programming language☆32Jul 20, 2023Updated 3 years ago
- Official compiler and VM for the Lax programming language☆55Feb 19, 2024Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆60Jan 24, 2024Updated 2 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.
- Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.☆19Nov 3, 2021Updated 4 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated last month
- A interpreted language called CPound!☆12Aug 26, 2024Updated 2 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated 2 years ago
- It's like Porth, but in C++. Yep, we're going full circle.☆20Dec 8, 2022Updated 3 years ago
- posix compatible lex utility which compiles to ~60KB☆27Aug 27, 2022Updated 4 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- Gold draws from Monkey, the language featured in Thorsten Ball's books. While initially following its guidelines, Gold has (slightly) evo…☆10Jun 13, 2024Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A L4-like micro-kernel OS written in Rust☆67Jan 6, 2024Updated 2 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Feb 19, 2026Updated 7 months ago
- structural regular expressions for Rust☆24Nov 19, 2025Updated 10 months ago
- A small embeddable scripting language for Gleam.☆17Jul 24, 2022Updated 4 years ago
- x86 emulator in Rust☆40Jul 17, 2021Updated 5 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 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.
- A minimal text editor in Rust☆32Jan 24, 2019Updated 7 years ago
- TUI alternative to 'v4l2-ctl' or 'cameractrls'☆31Updated this week
- A minimal 64-bit rust kernel and a bunch of configuration scripts that can be used to bootstrap Operating system development using Nightl…☆50Dec 4, 2021Updated 4 years ago
- A nontraditional traditional roguelike about critters and soul harvesting.☆18Jan 10, 2024Updated 2 years ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Aug 13, 2022Updated 4 years ago
- A reasonable theorem prover for your reasoning tasks!☆32Jan 27, 2025Updated last year
- Journey to the Center of the Lambda Calculus☆15Aug 31, 2023Updated 3 years ago