C From Scratch – Learn safety-critical C with prove-first methodology
Seven modules teaching C the way safety-critical systems are actually built: MATH → STRUCT → CODE → TEST. Each module answers one question: Does it exist? (Pulse), Is it normal? (Baseline), Is it regular? (Timing), Is it trending? (Drift), Which sensor to trust? (Consensus), How to handle overflow? (Pressure), What do we do about it? (Mode). Every module is closed (no dependencies), total (handles all inputs), deterministic, and O(1). 83 tests passing. Built this after 30 years in UNIX systems. Wanted something that teaches the rigour behind certified systems without requiring a decade of…
C From Scratch – Learn safety-critical C with prove-first methodology launched on January 25, 2026 with 72 votes, #469 of 14,584 launches that month and more than 95% of that year's launches.
In plain words
C From Scratch is a seven-module C programming course designed for building safety-critical systems. Each module teaches a specific pattern—from detecting data existence to handling overflow and mode selection—using a prove-first methodology with closed, deterministic, O(1) implementations. The course progresses through math, structures, code, and testing phases, with each module handling all possible inputs and including comprehensive test coverage. It targets developers who need to understand the rigorous practices behind certified systems without years of experience.
written from the facts on this page · September 2026
From the sources
Learn to build safety-critical systems in C. Prove first, code second. - SpeyTech/c-from-scratch
Not "Hello World". Real kernels. Mathematical rigour. Zero dependencies. The complete guide to writing C that doesn't just work — it provably works. Most tutorials teach you to write code that seems to work. This course teaches you to write code that provably works. ┌─────────────────────────────────────────────────────────────┐ │ THE APPROACH │ ├─────────────────────────────────────────────────────────────┤ │ │ │ Problem ──► Math Model ──► Proof ──► Structs │ │ │ │ │ ▼ │ │ Verification ◄── Code │ │ │ └─────────────────────────────────────────────────────────────┘ The Seven Foundation Modules Module Question Role Tests Pulse Does it exist? Sensor ✓ Baseline Is it normal? Sensor 18/18 Timing…from github.com
In the maker’s words, at launch
Seven modules teaching C the way safety-critical systems are actually built: MATH → STRUCT → CODE → TEST. Each module answers one question: Does it exist? (Pulse), Is it normal? (Baseline), Is it regular? (Timing), Is it trending? (Drift), Which sensor to trust? (Consensus), How to handle overflow? (Pressure), What…
Does a similar job
all alternatives →- LCLearn C and its lower levels interactively, in the browser2019 · ▲356
I made a simple virtual machine that runs C in the browser.This project is made as an experiment to see if C can be learned easier if the lower level is covered in paralel. Sandbox: https://vasyop.github.io/miniC-hosting Tutorial part 1: https://vasyop.github.io/miniC-hosting/?0 More info: https://github.com/vasyop/miniC-hosting/blob/master/README.md Please support this project: https://github.com/vasyop/miniC-hosting/blob/master/support.md
A work-in-progress C compiler from scratch2021 · github.com · ▲159Programming language that compiles into a x86 ELF executable. - riicchhaarrd/ocean
- GIGoing into freshman year, figured I should build an interpreter2023 · ▲138
Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D
A new hobby OS from “scratch” in C#2017 · github.com · ▲310A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment. - amaneureka/AtomOS
The C3 programming language (C alternative language)2025 · github.com · ▲175Get it from here: https://github.com/c3lang/c3c In 2019, while contributing to the C2 language, I started up "C3" as a pet project while waiting for pull requests to be approved... Now it's 6 years later and C3 well on its way to 1.0, having released 0.7.0 last week. Unlike other C alternatives, C3 tries to evolve C – but without concern to backwards compatibility to the latter. What it adds to C is among other things: - Module system - Semantic macros and compile time introspection - Lightweight generic modules - Zero overhead errors - Build-in slices and SIMD types -…
A dynamic C (Hot reloading) module-based Web Framework2024 · github.com · ▲128A modular web framework for C, inspired by kernel modules. Dynamically upload and compile C code at runtime to build REST APIs, WebSocket services, and more. Includes support for JSON (Jansson), SQLite, OpenSSL, and streaming large data efficiently. - joexbayer/c-web-modules
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 24d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 21d ago · talanoa.email
Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.
Dev tools · 12h ago · github.com
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, January 2026
the whole month →- IN
Hey HN! I wanted to share something I built over the last few weeks: isometric.nyc is a massive isometric pixel art map of NYC, built with nano banana and coding agents. I didn't write a single line of code. Of course no-code doesn't mean no-engineering. This project took a lot more manual labor than I'd hoped! I wrote a deep dive on the workflow and some thoughts about the future of AI coding and creativity: http://cannoneyed.com/projects/isometric-nyc
AI · Jan 2026 · cannoneyed.com
Automatic AI-powered code reviews the moment you open a PR
Dev tools · Jan 2026 · kilo.ai
