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:
- Xposed module fake system information sucu as imei ,location☆13Aug 7, 2016Updated 9 years ago
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 4 months ago
- Forth OS UEFI☆13Jan 10, 2026Updated 3 months ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- A tiny operating system, written in C and ASM☆12Sep 23, 2016Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Generic Socket support for Erlang☆19Oct 12, 2012Updated 13 years ago
- Multi-platform file manager☆28Apr 10, 2026Updated 3 weeks ago
- Operating System☆13Aug 8, 2022Updated 3 years ago
- Online interactive parser and translator of EO and 𝜑-calculus☆14Sep 2, 2025Updated 8 months ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- "Flatten" servant API types☆14Mar 19, 2018Updated 8 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- A collection of the talks I’ve given in the past.☆11Sep 11, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆16Dec 17, 2014Updated 11 years ago
- Google Cloud Storage plugin for Fluentd data collector☆13Sep 30, 2021Updated 4 years ago
- A chaotic lightweight operating system☆24Jan 25, 2026Updated 3 months ago
- UNIX like, multitask, i80386 PM + MMU, well-commented.☆46Sep 29, 2019Updated 6 years ago
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 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 4 years ago
- Alternative to the erlang documentation☆73Jul 8, 2016Updated 9 years ago
- chart directive and services for angular☆31Sep 1, 2015Updated 10 years ago
- A falling sand game written in assembly. The binary fits in 512 bytes.☆13Apr 10, 2024Updated 2 years ago
- 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.
- A certified semantics for relational programming workout.☆27Apr 4, 2026Updated last month
- ☆22Apr 25, 2019Updated 7 years ago
- A 16-bit Real Mode OS in NASM☆33Jun 22, 2012Updated 13 years ago
- A C++ cross-platform log library.☆13Jun 4, 2022Updated 3 years ago
- ☆26Feb 7, 2017Updated 9 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- An Interactive Pcap Editor (based on Scapy)☆23Oct 11, 2020Updated 5 years ago
- LDAP authentication web service returning JSON Web Tokens with optional Rabbit MQ integration☆10Aug 11, 2014Updated 11 years ago
- Yet another frontend for LLM, written using .NET and WinUI 3☆11Sep 14, 2025Updated 7 months 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 Windows native DLL injection library written in C# that supports several methods of injection.☆12Dec 17, 2018Updated 7 years ago
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 2 years ago
- RFCs for changes to V☆47Nov 7, 2023Updated 2 years ago
- Ground Zero: Lean 4 HoTT Library☆84Feb 17, 2026Updated 2 months ago
- Yet another `llama.cpp` Rust wrapper☆12Apr 23, 2026Updated last week
- Docker image for nix [maintainer=@zimbatm] [status=deprecated]☆37May 19, 2020Updated 5 years ago
- fontmin serving middleware☆12Apr 6, 2016Updated 10 years ago