roscopeco / minkView external linksLinks
A minimal experimental microkernel
☆25Apr 26, 2024Updated last year
Alternatives and similar repositories for mink
Users that are interested in mink are comparing it to the libraries listed below
Sorting:
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An old and good virtual keyboard☆18Sep 16, 2025Updated 4 months ago
- A small computer operating system for x86 instruction set architectures written in ANSI C and assembly language.☆20May 13, 2013Updated 12 years ago
- Rust bindings to the KVM interface☆17Jun 20, 2019Updated 6 years ago
- Portable high-level assembler with authentic C syntax☆25Jul 1, 2022Updated 3 years ago
- Utilities and supplemental files supporting the aoe driver☆24Feb 2, 2026Updated last week
- A personal x86 kernel - Dead, I'll write it down again from scratch.☆29Feb 16, 2018Updated 7 years ago
- Real-Time Communications Quickstart Guide☆25Mar 4, 2019Updated 6 years ago
- aoe driver for Linux with backward compatibility build system☆26Feb 1, 2026Updated last week
- Windows utility that simplifies the input of Unicode characters by displaying a handy on-demand virtual keyboard with powerful character …☆28Dec 31, 2013Updated 12 years ago
- Val Schorre's META-II☆62Sep 8, 2013Updated 12 years ago
- Simple and light weight powershell script that removes pre-installed windows 10/11 bloatware apps, disables telemetry and declutters the …☆22Jun 26, 2023Updated 2 years ago
- bcc is a b compiler☆33Jun 23, 2022Updated 3 years ago
- PPM compressor with a 128 bytes short decompressor☆39Apr 4, 2022Updated 3 years ago
- Source in Pascal, Modula-2 and Oberon for PL/0 and Oberon-0 from N. Wirth's books about Compiler Contruction.☆34May 18, 2023Updated 2 years ago
- This ScriptPro 2.0 source code☆10Nov 12, 2013Updated 12 years ago
- ☆13Mar 12, 2019Updated 6 years ago
- A macrospin simulation tool for nanoparticles☆12Dec 4, 2024Updated last year
- x86 assembler in 512 bytes of x86 machine code☆38Dec 1, 2019Updated 6 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- A document database emulator on top of Microsoft SQL Server XML columns☆11Mar 4, 2011Updated 14 years ago
- vimflowy is an implementation of workflowy-style outliner on vim☆14Dec 13, 2012Updated 13 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago
- Bring Your Own FIDO2 Extensions!☆16May 13, 2025Updated 9 months ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated 2 weeks ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Commons utility classes for quarkus based projects☆11Jan 15, 2026Updated 3 weeks ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆46Jul 8, 2025Updated 7 months ago
- ☆20Nov 14, 2025Updated 3 months ago
- Plot pixels on a 320x200 256c canvas☆11Jan 8, 2024Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- ☆10Updated this week
- moved to https://git.sr.ht/~lotheac/pf.vim☆10Jul 16, 2018Updated 7 years ago
- copy one disk or image file to an other☆11Dec 23, 2020Updated 5 years ago
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12May 15, 2025Updated 8 months ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago