Tiny OS written in x86 assembly
☆38Dec 30, 2024Updated last year
Alternatives and similar repositories for victoriaos
Users that are interested in victoriaos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 9 months ago
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 9 months ago
- ☆13Jun 4, 2018Updated 8 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- TWRP device tree for Moto G8 Plus (doha)☆10May 11, 2020Updated 6 years ago
- Rate limiting for Servant and as WAI middleware☆17Sep 29, 2026Updated 2 weeks ago
- A tiny operating system, written in C and ASM☆11Sep 23, 2016Updated 10 years ago
- Multi-platform file manager☆33Updated this week
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Online interactive parser and translator of EO and 𝜑-calculus☆14Sep 2, 2025Updated last year
- "Flatten" servant API types☆14Mar 19, 2018Updated 8 years ago
- My coreboot work☆23Oct 14, 2010Updated 15 years ago
- Servant dhall bindings☆19Dec 1, 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.
- OpenRISC 1000 processor module for IDA 7.x☆13Feb 13, 2024Updated 2 years ago
- ☆17Dec 17, 2014Updated 11 years ago
- A few classic graph algorithms implemented in C++, Java, and EOLANG☆17Updated this week
- Object Dependency Inspector☆10Oct 4, 2026Updated last week
- Intel(TAsm) to AT&T(As) assembly syntax converter☆24Dec 1, 2021Updated 4 years ago
- A chaotic lightweight operating system☆24Jul 2, 2026Updated 3 months ago
- ☆18Apr 18, 2015Updated 11 years ago
- FTP client and server library [Haskell]☆15Jun 20, 2021Updated 5 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Raspberry Pi Pico SNES flash cart (no SD card, WIP)☆13Sep 6, 2022Updated 4 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 years ago
- A certified semantics for relational programming workout.☆28Jun 29, 2026Updated 3 months ago
- pylibjit, a Python library for compiling Python functions☆20Oct 1, 2020Updated 6 years ago
- I doesn't find examples in internet, so I wrote it and I gonna show you how to do that☆10Jan 20, 2025Updated last year
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 3 years ago
- ☆30Oct 8, 2016Updated 10 years ago
- A C++ cross-platform log library.☆13Jun 4, 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.
- This is the main repository for the Viper IDE extension for VS Code.☆14Oct 7, 2026Updated last week
- An experimental project to create an interactive programming language.☆18Jul 11, 2025Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- RFCs for changes to V☆47Nov 7, 2023Updated 2 years ago
- A 16-bit Real Mode OS in NASM☆34Jun 22, 2012Updated 14 years ago
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 3 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year