a simple x86_64 kernel (c++) made from scratch

Noir is a domain specific language for zero knowledge proofs

A collection of (mostly) technical things every software developer should know about

Source code for the nLab

The Serenity Operating System 🐞

Repository for the Stacks Project

Atmosphere and planet rendering playground.

Best LeetCode friend for geek. 🏂

A curated list of awesome things related to learning and programming in Noir.

How to be low-level programmer

A garden of small programming language implementations 🪴

Classic Windows 95, 98, Me, 2000, XP, Vista taskbar for modern versions of Windows

📃 A list of practical projects that anyone can solve in any programming language.

Rust implementation of the Ethereum Virtual Machine.

A highly integrated, high end, open source laptop. Attempt the impossible.

A research project in path semantics, a re-interpretation of functions for expressing mathematics

📚 Learn to write an embedded OS in Rust 🦀

Common Lisp RabbitMQ client based on IOLib

The user-friendly command line shell.

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Proof assistant based on the λΠ-calculus modulo rewriting

A list of awesome resources for tmux

A performant and modular zkVM framework built for customization and extensibility.

Writing an OS in 1,000 lines.

A Spotify player in the terminal with full feature parity

📜 Haskell course info, plan, video lectures, slides

🧮 Path to a free self-taught education in Mathematics!

xv6 OS

A list of operating systems and stuff