Developing closed-loop mathematical ontology systems and first-principles AI foundations through type-theoretic structures, semantic fields, formal verification, and computational architecture..
I build technology from bare-metal scratch — no framework shortcuts, no encapsulated black boxes. All implementations are hand-coded, verifiable, and open-sourced permanently.
Most engineers build on existing stacks.
I reconstruct the underlying stack itself: from mathematical theory, hardware circuits, and low-level system firmware, up to LLM underlying architecture, CUDA kernel optimization, and verifiable self-evolving agent systems.
This repository archive records continuous bottom-up engineering and AI paradigm exploration. Every project is:
- ✅ Runnable
- ✅ Verifiable
- ✅ Serves as practical prior art for underlying system and intelligent infrastructure research
"Open source is not a hobby, but a public technical manifesto of full-stack underlying engineering."
Long live ❤️ Open Source.
Full coverage of the entire computer technology stack, 100% pure C implemented from scratch. Rigorous bottom-up construction to verify the underlying core principles of all hardware, system, network, business and intelligent technologies.
| Repository | Description | Reference Course & Materials | Link |
|---|---|---|---|
mini-math-theory |
University-level mathematics & computer theory for system and AI modeling | MIT 6.006/6.046J, 6.042J, 6.045J, 18.05/18.06/18.065, 6.441; Stanford CS229; Sipser Computation Theory | 🔗 View |
mini-hardware-physical |
Bottom-up hardware design and physical circuit implementation | MIT 6.004/6.175/6.823/6.5900/6.5930/6.5950; CMU 18-447/15-418; Stanford CS144/CS149/EE282; UC Berkeley CS261 | 🔗 View |
mini-firmware-boot |
Lightweight bare-metal firmware and bootloader program development | UEFI PI Spec, TianoCore EDK II, GRUB2, Das U-Boot, TPM 2.0 Spec, TCG PC Client, NIST SP 800-193, Intel/ARM Trusted Firmware | 🔗 View |
mini-os-driver-sys |
Handwritten OS kernel, driver and virtualization underlying logic | MIT 6.828 (xv6), CMU 15-410; Intel VT-x/AMD-V; OCI Runtime Spec; CS:APP; Linux Kernel LSM | 🔗 View |
mini-lang-compiler-vm |
From-scratch programming language, compiler & virtual machine implementation | Stanford CS143/CS242; CMU 15-745; MIT 6.945; Dragon Book; Modern Compiler Book; MLIR/TVM/XLA | 🔗 View |
mini-network-dist-proto |
Distributed network architecture and core communication protocol from scratch | MIT 6.824/6.829; Stanford CS144; CMU 15-721; Raft/Paxos Papers; DDIA; IETF RFC Standards | 🔗 View |
mini-data-store-search-vec |
Vector database underlying storage, indexing and similarity retrieval implementation | CMU 15-445/645; MIT 6.830; Stanford CS245; FAISS/Milvus/Annoy; LevelDB/RocksDB; Lucene | 🔗 View |
mini-data-engine-lakehouse |
Self-built data computing engine and lakehouse architecture underlying system | Kimball DWH Toolkit, Delta Lake/Iceberg/Hudi Spec, Spark/Flink/Kafka, ClickHouse/DuckDB OLAP Theory | 🔗 View |
mini-backend-api-business |
Backend service architecture, API interface and business logic bottom-up construction | OAuth2 RFC 6749, JWT RFC 7519; DDD/CQRS/Event Sourcing; REST/GraphQL Spec | 🔗 View |
mini-frontend-client-web |
Native web frontend rendering, interactive logic and client principle implementation | W3C Specs, Chromium Blink, V8 Engine, WhatWG Fetch Standard | 🔗 View |
mini-graphics-render-game |
Spatial computing, rendering engine & game physics loop implementation | MIT 6.837, OpenGL 4.6/Vulkan 1.3, OpenXR/WebXR, ECS Game Architecture | 🔗 View |
mini-media-av-rtc |
Audio and video processing, real-time RTC transmission and media service underlying logic | H.264/AVC, ITU-T.81, WebRTC 1.0, HLS/DASH RFC, FFmpeg Architecture | 🔗 View |
mini-cloud-native-sre |
Cloud-native architecture, service orchestration and SRE stability governance from scratch | Kubernetes/Borg, Istio/Envoy, OpenTelemetry, Google SRE Book, Brendan Gregg Performance Theory | 🔗 View |
mini-security-crypto-web3 |
Underlying cryptographic algorithms, network security and Web3 core protocol implementation | NIST FIPS, MIT 6.858, OWASP Top10, zk-SNARKs, Intel SGX/AMD SEV, TCG Standards | 🔗 View |
mini-ai-ml-intelligent |
From-scratch implementation of underlying machine learning and intelligent algorithm frameworks | Stanford CS229, MIT 6.036; PyTorch/TensorFlow; vLLM/TensorRT-LLM; CLIP/Stable Diffusion | 🔗 View |
mini-iot-robot-edge |
Edge computing, IoT terminal and robot underlying control system development | ARM Cortex-M TRM, FreeRTOS, ROS2, TinyML, IEC 61131-3, ARM TrustZone-M | 🔗 View |
mini-hpc-sci-compute |
High-performance parallel computing and scientific numerical simulation implementation | MIT 6.172, Stanford CS149; CUDA/OpenMP/MPI; BLAS/LAPACK; Roofline Model | 🔗 View |
mini-eda-fpga-asic |
EDA tool development, FPGA logic & ASIC chip underlying design | IEEE 1364/1800 Verilog, UVM, RISC-V ISA, Synopsys/Cadence EDA Tools, NoC Theory | 🔗 View |
mini-software-eng-product |
Bottom-up standardized software engineering system and project practice | C4 Model, Conventional Commits, Clean Code, SAFe/Scrum, SonarQube Testing Standards | 🔗 View |
mini-app-industry-product |
Industrial-grade embedded application development and engineering practice | Enterprise ERP/CRM Standards, Industrial Embedded Specs, FinTech/HealthTech Engineering Norms | 🔗 View |
Formal mathematics built from scratch in Lean 4. Learn rigorous mathematical theory via practical interactive theorem proving. Every definition, lemma, and theorem is machine-checked and computationally verifiable.
| Repository | Description | Reference Course & Materials | Link |
|---|---|---|---|
mini-math-kernel |
Formal math foundations and proof theory built from scratch, learn mathematical logic & formal proof via practical Lean 4 coding | MIT 6.042J, 18.510, 18.996; Stanford CS103, CMU 15-317; Cambridge Part II/III, Princeton MAT 595; Logic and Structure (van Dalen), Type Theory and Formal Proof | 🔗 View |
mini-set-model-theory |
Set theory and model theory built from scratch, learn formal logic & set foundation via practical Lean 4 coding | MIT 18.510, 18.515; Stanford Math 160; Berkeley Math 225A/B, 229A; Princeton MAT 560; Oxford Part C; Set Theory (Kunen), Model Theory (Chang & Keisler) | 🔗 View |
mini-category-theory |
Category theory and functorial mathematics built from scratch, learn categorical reasoning via practical Lean 4 coding | MIT 18.996; Harvard Math 254; Cambridge Part III; Princeton MAT 595; Oxford CS; Categories for the Working Mathematician (Mac Lane), Sheaves in Geometry and Logic | 🔗 View |
mini-linear-multilinear-algebra |
Linear and multilinear algebra built from scratch, learn vector space & tensor theory via practical Lean 4 coding | MIT 18.06, 18.700, 18.065; Princeton MAT 345; Stanford Math 113; Harvard Math 122; Berkeley Math 110; Cambridge Part II; Linear Algebra Done Right (Axler), Advanced Linear Algebra (Roman) | 🔗 View |
mini-abstract-algebra-galois |
Abstract algebra and Galois theory built from scratch, learn group/ring/field theory via practical Lean 4 coding | Harvard Math 122/123; MIT 18.701/18.702; Princeton MAT 345; Cambridge Part II; Algebra (Dummit & Foote), Fields and Galois Theory (Morandi) | 🔗 View |
mini-commutative-homological-algebra |
Commutative and homological algebra built from scratch, learn advanced algebraic theory via practical Lean 4 coding | MIT 18.705, 18.905, 18.906; Harvard Math 221, 231a/b; Cambridge Part III; Oxford Part C; Princeton MAT 570; Commutative Algebra (Atiyah-MacDonald), Homological Algebra (Weibel) | 🔗 View |
mini-real-analysis |
Real analysis and calculus foundations built from scratch, learn rigorous mathematical analysis via practical Lean 4 coding | MIT 18.100A/B, 18.102; Harvard Math 112; Berkeley Math 104/105; Stanford Math 115, 172; Princeton MAT 215; Cambridge Part II; Principles of Mathematical Analysis (Rudin), Real Analysis (Folland) | 🔗 View |
mini-complex-analysis-riemann |
Complex analysis and Riemann surfaces built from scratch, learn holomorphic theory via practical Lean 4 coding | MIT 18.04, 18.112, 18.117; Harvard Math 113, 213a; Princeton MAT 325, 330; Stanford Math 116; Berkeley Math 185; Cambridge Part II; Oxford Part B; Complex Analysis (Ahlfors), Riemann Surfaces (Farkas & Kra) | 🔗 View |
mini-measure-probability-integration |
Measure theory, probability and integration built from scratch, learn analysis & stochastic theory via practical Lean 4 coding | MIT 18.102, 18.177, 18.05; Stanford Math 151, 172, 228; Harvard Math 212, Stat 110; Princeton MAT 570; Berkeley Math 202A/B; Cambridge Part III; Real Analysis (Royden), Probability and Measure (Billingsley) | 🔗 View |
mini-functional-analysis-operator |
Functional analysis and operator theory built from scratch, learn spectral algebra & operator theory via practical Lean 4 coding | MIT 18.102, 18.103, 18.156, 18.338; Harvard Math 212; Princeton MAT 520; Berkeley Math 202A/B, 209; Cambridge Part III; Oxford Part C; Functional Analysis (Rudin), A Course in Functional Analysis (Conway) | 🔗 View |
mini-point-set-topology |
Point-set topology built from scratch, learn topological foundations via practical Lean 4 coding | MIT 18.901, 18.902; Harvard Math 131; Berkeley Math 142; Princeton MAT 335; Cambridge Part II/III; Oxford Part C; Topology (Munkres), General Topology (Willard) | 🔗 View |
mini-smooth-manifold-diff-topology |
Smooth manifold and differential topology built from scratch, learn manifold calculus via practical Lean 4 coding | MIT 18.952, 18.966; Harvard Math 230a/b; Berkeley Math 214; Princeton MAT 520; Cambridge Part III; Oxford Part C; Introduction to Smooth Manifolds (Lee), Differential Topology (Guillemin & Pollack) | 🔗 View |
mini-differential-riemannian-geometry |
Differential and Riemannian geometry built from scratch, learn manifold & curvature theory via practical Lean 4 coding | MIT 18.950, 18.966, 18.156; Harvard Math 230a/b; Princeton MAT 535; Berkeley Math 215B, 242; Cambridge Part III; Oxford Part C; Riemannian Geometry (do Carmo), Riemannian Manifolds (Lee) | 🔗 View |
mini-algebraic-topology |
Algebraic topology and homotopy theory built from scratch, learn homology-cohomology via practical Lean 4 coding | MIT 18.905, 18.906; Harvard Math 231a/b; Princeton MAT 560; Cambridge Part III; Berkeley Math 215A; Algebraic Topology (Hatcher), A Concise Course in Algebraic Topology (May) | 🔗 View |
mini-algebraic-geometry-schemes |
Algebraic geometry and scheme theory built from scratch, learn modern algebraic geometry via practical Lean 4 coding | MIT 18.725, 18.726, 18.727, 18.728; Harvard Math 232a/b, 233; Princeton MAT 570, 575; Berkeley Math 256A; Cambridge Part III; Algebraic Geometry (Hartshorne), The Rising Sea (Vakil) | 🔗 View |
mini-number-theory-arithmetic-geometry |
Number theory and arithmetic geometry built from scratch, learn arithmetic foundations via practical Lean 4 coding | MIT 18.783, 18.784, 18.785, 18.786, 18.787; Harvard Math 229, 256, 259; Princeton MAT 560, 570; Berkeley Math 254; Cambridge Part III; Oxford Part C; A Course in Arithmetic (Serre), Arithmetic Geometry (Cornell & Silverman) | 🔗 View |
mini-representation-lie-theory |
Representation theory and Lie theory built from scratch, learn algebraic symmetry via practical Lean 4 coding | MIT 18.715, 18.737, 18.738, 18.745, 18.755; Harvard Math 250, 261, 270; Princeton MAT 550, 555; Berkeley Math 261A; Cambridge Part III; Representation Theory (Fulton & Harris), Lie Groups, Lie Algebras (Hall) | 🔗 View |
mini-combinatorics-discrete-geometry |
Combinatorics and discrete geometry built from scratch, learn graph theory & discrete mathematics via practical Lean 4 coding | MIT 18.212, 18.217, 18.218, 18.433; Harvard Math 155, 249, 253; Princeton MAT 575, 725; Berkeley Math 250A; Cambridge Part III; Oxford Part C; Enumerative Combinatorics (Stanley), Lectures on Polytopes (Ziegler) | 🔗 View |
mini-dynamical-ergodic-systems |
Dynamical systems and ergodic theory built from scratch, learn chaotic & Hamiltonian dynamics via practical Lean 4 coding | MIT 18.158, 18.385; Harvard Math 118; Princeton MAT 585; Berkeley Math 242; Stanford AA 203; Cambridge Part III; Oxford Part C; Introduction to the Modern Theory of Dynamical Systems (Katok & Hasselblatt) | 🔗 View |
mini-harmonic-pde-geometric-analysis |
Harmonic analysis, PDE and geometric analysis built from scratch, learn partial differential equations via practical Lean 4 coding | MIT 18.152, 18.155, 18.156, 18.157, 18.158, 18.354; Harvard Math 253; Princeton MAT 528, 535; Berkeley Math 222, 228; Cambridge Part III; Oxford Part C; Partial Differential Equations (Evans), Harmonic Analysis (Stein) | 🔗 View |
Focus on large model architecture inference, kernel optimization, automated research, and multi-agent engineering workflows.
| Repository | Description | Link |
|---|---|---|
Apex |
Fully self-developed LLM native reasoning architecture | 🔗 View |
OpenClaude-Mythos |
Recurrent depth Transformer model structural inference & parsing | 🔗 View |
OpenGemini3.1-Pro |
Layer-by-layer analysis of native multimodal sparse MoE architecture | 🔗 View |
OpenChatgpt5.5 |
In-depth parsing of dense Transformer + sparse MoE hybrid backbone | 🔗 View |
| Repository | Description | Link |
|---|---|---|
DeepSci |
End-to-end automated full-cycle scientific research tool | 🔗 View |
PRForge |
Multi-agent autonomous code review & engineering workflow system | 🔗 View |
BTCBoard |
Multi-agent adversarial verification market analysis platform | 🔗 View |
HoTT-CatWorld |
HoTT & higher category theory based verifiable AI reasoning system | 🔗 View |
Trace2Train |
Convert program execution traces into model training data & checkpoints | 🔗 View |
LLMSched |
LLM serving KV cache, token & batch scheduling simulation | 🔗 View |
KernelLab |
Handcrafted CUDA kernels for LLM core computing hot paths | 🔗 View |
IRPlanner |
LLM computation graph compilation & execution plan optimization | 🔗 View |
Bottom-up underlying runtime and resource scheduling system for scalable autonomous AI.
| Repository | Description | Link |
|---|---|---|
OntoLoop 🌟 |
Scalable verifiable autonomous AI runtime with swarm intelligence & self-evolution capability | 🔗 View |
Apeinx |
AI underlying resource scheduling system, "Linux for AI" (GPU/Token/Model/Agent unified management) | 🔗 View |
Triton-Agent |
Autonomous GPU kernel construction, tuning & optimization agent | 🔗 View |
Languages: C · Rust · Python · CUDA Core Domains: Mathematical Formal Verification · Bare-metal Hardware & Kernel Compiler & VM · LLM Architecture Reverse Engineering CUDA Kernel Optimization · Multi-Agent Autonomous Systems AI Infrastructure Scheduling · Automated Scientific Research Philosophy: Verifiable · Reproducible · From Scratch · Open by Default
- 🔍 Explore: Browse any repository above — all code is open for inspection and contribution
- 🤝 Contribute: PRs, issues, and technical discussions are warmly welcomed
- 💡 Collaborate: Interested in bottom-up AI infrastructure research? Let's connect
"The best way to predict the future is to implement it from first principles."
Built with ❤️ and bare-metal determination by rootkiller6788
🔐 All projects are open source under MIT License unless otherwise specified