vitaminac / miniosView external linksLinks
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:
- 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
- The TRUE Decentralized Static Microblog☆18Apr 10, 2022Updated 3 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Jul 8, 2025Updated 7 months ago
- Fully Local Push-to-Transcribe☆16Nov 6, 2025Updated 3 months ago
- 🔒 World's most secure P2P messenger. End-to-end encrypted, zero-server architecture, quantum-resistant roadmap. WebRTC direct connection…☆24Jan 7, 2026Updated last month
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- Progressive Bitcoin-Lightning wallet☆10Feb 7, 2026Updated last week
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- take pictures and download from webrtc media stream☆13Oct 20, 2023Updated 2 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,…☆10Feb 5, 2026Updated last week
- Aplicación de realidad aumentada y navegación para museos sobre smart devices☆19Aug 2, 2016Updated 9 years ago
- 🎨 Professional multi-modal AI media generation CLI ✨ Generate videos, images & music with Google AI models 🎬 Interactive UI with bat…☆16Aug 5, 2025Updated 6 months ago
- JavaScript bindings for YARP!☆10Jun 17, 2024Updated last year
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Making it simple to customize Hosting for your .NET Core 6.x+ application☆10Oct 19, 2022Updated 3 years ago
- btree written in c☆10Feb 26, 2015Updated 10 years ago
- A Simple OS for literally everything.☆11Jan 9, 2026Updated last month
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- Hashcash implementation in ES6 / Javascript☆10Feb 11, 2022Updated 4 years ago
- Ecash wallet implementation in javacard☆12Aug 29, 2025Updated 5 months ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- Redshift Proof of Concepts☆10Aug 27, 2015Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Ancient but still respectable open source 68k disassembler.☆13Dec 2, 2018Updated 7 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
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- A basic implementation of a rolling code authentication system.☆12Nov 25, 2023Updated 2 years ago
- A minimal repo using NX with react and web pack 5☆13Jul 3, 2021Updated 4 years ago
- No gimmick DoH stub resolver☆19Mar 22, 2023Updated 2 years ago
- Source code for Design Patterns in Ruby Tuts+ course☆11Dec 30, 2015Updated 10 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- Frontend for Reddit in a single HTML file☆12Jul 7, 2023Updated 2 years ago
- smallest z80 disassembler in the world☆12Jan 28, 2023Updated 3 years ago
- Tiny vi text editor clone with enough features to be truly useful☆15Feb 14, 2024Updated last year
- an ssh based multitenant git host☆12Jun 3, 2023Updated 2 years ago
- ☆12Oct 31, 2023Updated 2 years ago
- Apache NiFi WebSocket Listener☆10Oct 18, 2015Updated 10 years ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated last year