☆18Mar 12, 2023Updated 2 years ago
Alternatives and similar repositories for sirius-x86-64
Users that are interested in sirius-x86-64 are comparing it to the libraries listed below
Sorting:
- Sistema Operacional mais BRAsileiro☆18May 14, 2019Updated 6 years ago
- Library to ease porting userland OpenBSD code to Serenity☆15Mar 14, 2020Updated 5 years ago
- This repository contains OS development specific code and tutorials☆13Feb 21, 2026Updated 2 weeks ago
- Tiny C-like language and compiler☆34Dec 13, 2021Updated 4 years ago
- Repositório principal do Projeto LOS☆21Jul 11, 2019Updated 6 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆65Aug 29, 2017Updated 8 years ago
- O KiddieOS é um sistema operacional open-source básico em desenvolvimento pelo curso gratuito D.S.O.S [Desenvolvendo Sistemas Operacionai…☆59Oct 14, 2025Updated 4 months ago
- tcbasic is a small BASIC Interpreter written in C.☆21Jun 2, 2022Updated 3 years ago
- MikeOS' BASIC Compiler☆25Feb 21, 2022Updated 4 years ago
- BSD 2.11, as patched☆25Oct 20, 2021Updated 4 years ago
- 基于鸭子编译器写的os☆22Oct 25, 2020Updated 5 years ago
- Learn Lisp interactively!☆33Dec 5, 2024Updated last year
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Feb 10, 2026Updated 3 weeks ago
- An x86 real mode multiboot-ish ELF bootloader☆27Nov 30, 2018Updated 7 years ago
- JoinFS is an advanced multiplayer client for flight simulators including Microsoft Flight Simulator 2020, FSX, X-Plane and Prepar3D.☆17Feb 14, 2026Updated 3 weeks ago
- Gramado OS☆649Feb 27, 2026Updated last week
- The compiler for subset of scheme developed as part of P523☆30Mar 6, 2017Updated 9 years ago
- Aprenda Linguagem C através do código fonte☆39Jun 5, 2015Updated 10 years ago
- A secure, modern and intelligent operative system☆32Oct 9, 2017Updated 8 years ago
- ☆11Oct 25, 2024Updated last year
- Portable OpenBSD Yacc.☆40Jul 2, 2023Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆18Nov 28, 2024Updated last year
- ☆12Mar 13, 2025Updated 11 months ago
- [mirror] Static website generator using `make` and `discount`.☆10Jun 30, 2020Updated 5 years ago
- Korn shell-based HTTP server, used primarily for educational purposes☆11Mar 17, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- "Bad Apple" video player on Windows 10 title bars☆10Nov 14, 2021Updated 4 years ago
- Unofficial 4.3BSD-Quasijarus repository for all changes from 0 through to 0c (plus any additional patches)☆42Jul 30, 2020Updated 5 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- D programming language syntax highlighting file for GNU nano editor☆12Nov 24, 2020Updated 5 years ago
- Static generator for Go module vanity URLs.☆15Jan 20, 2025Updated last year
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated 2 weeks ago