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!🌱🌿🪴☆547May 18, 2026Updated 2 months ago
- An assembler that compiles down to just 8 instructions🧠☆16Feb 18, 2026Updated 5 months ago
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years 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.☆30Oct 2, 2020Updated 5 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.
- Unusable but free and open-source window manager for Linux and *BSD (<500LOC)☆14Jul 6, 2019Updated 7 years ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 4 years ago
- ☆10Feb 3, 2025Updated last year
- ☆18Jul 19, 2024Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆60Jan 24, 2024Updated 2 years ago
- The Nox programming language☆31Jul 20, 2023Updated 3 years ago
- ☆15Dec 7, 2022Updated 3 years ago
- Official compiler and VM for the Lax programming language☆54Feb 19, 2024Updated 2 years ago
- Personal collection of useful bookmarklets☆14Feb 12, 2025Updated last year
- 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.
- Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.☆19Nov 3, 2021Updated 4 years ago
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 4 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- 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 3 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- A L4-like micro-kernel OS written in Rust☆67Jan 6, 2024Updated 2 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 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.
- A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to…☆79Sep 8, 2023Updated 2 years ago
- structural regular expressions for Rust☆24Nov 19, 2025Updated 8 months ago
- A small embeddable scripting language for Gleam.☆17Jul 24, 2022Updated 3 years ago
- A Rust recreation of the classic 1968 BASIC game Hammurabi with a modern TUI☆24Jun 18, 2025Updated last year
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Feb 14, 2024Updated 2 years ago
- Vortex Programming Language☆82Apr 4, 2024Updated 2 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- TUI alternative to 'v4l2-ctl' or 'cameractrls'☆29Jul 4, 2026Updated 2 weeks 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.
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- 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 3 years ago
- A web assembly shell for a unix-like operating system using JOSS☆18Apr 2, 2019Updated 7 years ago
- an experiment☆11Dec 20, 2024Updated last year
- A portable programming language with a compact intermediate representation☆750Jan 20, 2023Updated 3 years ago