mini x86 Operating System <= 256KB
☆29Dec 14, 2025Updated 2 months ago
Alternatives and similar repositories for minios
Users that are interested in minios are comparing it to the libraries listed below
Sorting:
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Typescript utilities for input validation, with emphasis on security☆19Jan 3, 2024Updated 2 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- Turning DIY Bitcoin nodes from pets to cattle☆10Dec 1, 2024Updated last year
- Export CS2 maps to OpenStreetMap XML files☆10Oct 7, 2024Updated last year
- Fully Local Push-to-Transcribe☆18Nov 6, 2025Updated 4 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Updated this week
- Progressive Bitcoin-Lightning wallet☆10Feb 27, 2026Updated last week
- A single point of reference to guide all software development across HMRC.☆11Feb 13, 2026Updated 3 weeks ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- A basic dungeon generation method for minecraft that mimic's jigsaw blocks.☆10Feb 16, 2023Updated 3 years ago
- JavaScript bindings for YARP!☆10Jun 17, 2024Updated last year
- A small language that compiles to OpenAPI☆10Feb 3, 2025Updated last year
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- take pictures and download from webrtc media stream☆13Oct 20, 2023Updated 2 years ago
- Provides a wrapper to boot your penn-os on hardware!☆10Dec 7, 2017Updated 8 years ago
- tickdream rust event - Async IO similar to libevent☆11May 13, 2022Updated 3 years ago
- Koi is a simple tool built to let you use ChatGPT through the command line. It adds the ability to let ChatGPT run commands on your compu…☆10Mar 25, 2023Updated 2 years ago
- My personal (static) feed aggregator for reddit and hackernews written in Javascript.☆11Jun 6, 2022Updated 3 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- btree written in c☆10Feb 26, 2015Updated 11 years ago
- Frontend for Reddit in a single HTML file☆12Jul 7, 2023Updated 2 years ago
- Ecash wallet implementation in javacard☆12Aug 29, 2025Updated 6 months ago
- Various different examples (image classification, object detection and image segmentation) of using OpenVINO with OpenCV☆10Oct 16, 2020Updated 5 years ago
- Iframe Splitter is a simple tool to divide computer screen into multiple sections to be displayed on TV dashboard.☆17Jun 17, 2018Updated 7 years ago
- AWS Lambda Utility Library☆11Updated this week
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- ☆11Jun 2, 2015Updated 10 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Audio engine for CUDA processing (Windows/Linux)☆13Nov 9, 2019Updated 6 years ago
- Action recognition based on action graph, which describes the spatio-temporal relationship between dense trajectory clusters. The program…☆11Jan 7, 2015Updated 11 years ago
- has been moved to https://github.com/vidardb/PostgresForeignDataWrapper. It is the first foreign data wrapper introducing LSM-tree into P…☆12Jan 29, 2020Updated 6 years ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- QR code visual cryptography pipeline☆14Jul 7, 2020Updated 5 years ago
- A dockerfile to build a ROS2 + OpenSplice CE container☆10Sep 6, 2017Updated 8 years ago
- Server for Noauth Nostr key manager.☆15Jan 8, 2025Updated last year