Skip to content
View mtve's full-sized avatar

Block or report mtve

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Minimal DOCX/ODT creation library. Zero dependencies.

TypeScript 8 1 Updated Dec 22, 2025

S3-compatible storage in ~1.4K lines of Zig. Zero dependencies.

Zig 63 Updated Dec 29, 2025

Tiny modular assembler & vm for lightweight control microcode

C 37 5 Updated Apr 24, 2020

Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…

Python 707 19 Updated Dec 30, 2025

Latex Book/Note Writing Tutorial

TeX 934 57 Updated Dec 9, 2025

8086 FPGA core running original microcode

SystemVerilog 55 6 Updated Dec 20, 2025

mini C compiler for esp32

C 136 10 Updated Dec 27, 2025

Development framework for 4k-8k demoscene intros

C 3 Updated Aug 25, 2025

https://langjamgamejam.com/

C 13 Updated Dec 17, 2025

Public repository of the Micro QuickJS Javascript Engine

C 4,823 167 Updated Dec 30, 2025

FastTracker 2 .xm module player in Javascript

JavaScript 499 37 Updated Dec 18, 2020

My collection of bitmap fonts pulled from various demoscene archives over the years

HTML 1,881 97 Updated Jun 26, 2025

tinytapeout testing

Verilog 10 3 Updated May 9, 2025

MCM file compressor

C++ 117 29 Updated Oct 15, 2017

Fast lossless data compression in Java

Java 125 18 Updated Dec 21, 2025

Database concurrency and crash recovery testing tool

Shell 49 25 Updated Dec 24, 2025

A high-performance asymmetric lossless compression library optimized for Content Delivery. Decodes 40% faster than LZ4 on ARM64.

C++ 77 3 Updated Dec 30, 2025

Fast lossless data compression in C++

C++ 196 7 Updated Dec 22, 2025

lzbench is an in-memory benchmark of open-source compressors

C 1,038 203 Updated Dec 29, 2025

White-box automation for Lean 4

Lean 326 46 Updated Dec 16, 2025

Trust no compiler. Verify from first principles.

C 7 Updated Dec 18, 2025

Minimal PDF creation library. <400 LOC, zero dependencies, makes real PDFs.

TypeScript 1,180 54 Updated Dec 24, 2025

From Zero to QED: An informal introduction to formality with Lean 4

Lean 62 10 Updated Dec 30, 2025

Minimalist, dependency-free virtual machine sandbox for microcontrollers and other resource-constrained devices. Single C file, no dynamic memory allocations, asynchronous design, pure C99

C 585 23 Updated Dec 18, 2025

NewtonOS running on other operating systems

C++ 515 63 Updated Dec 19, 2025

A WASM virtual machine written in Go with 0 dependencies

Go 402 9 Updated Dec 30, 2025

Implementations to produce solutions for the IBM Research Ponder This monthly challenges

Rust 2 Updated Dec 5, 2025

The Grayscale Raster Font format is designed to bring easy to use and good-ish looking font rendering to hobbyist operating system developers or other environments where using modern font formats l…

C 11 1 Updated Dec 8, 2025

A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be an educational and experimental project that rigorously follows a Plan9-style "everything is a…

C 399 12 Updated Dec 31, 2025
Python 8,277 484 Updated Dec 25, 2025
Next