mrpointzby

project-based-learning

Curated list of project-based tutorials

Python-100-Days

Python - 100天从新手到大师

HelloGitHub

:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.

PowerShell

PowerShell for every system!

DocsGPT

Chatbot for documentation, that allows you to chat with your data. Privately deployable, provides AI knowledge sharing and integrates knowledge into your AI workflow

NodeOS

Lightweight operating system using Node.js as userspace

makefiletutorial

Learn make by example

edk2

EDK II

lean4

Lean 4 programming language and theorem prover

w64devkit

Portable C and C++ Development Kit for x64 (and x86) Windows

mathlib4

The math library of Lean 4

windows-driver-docs

The official Windows Driver Kit documentation sources

SDL_mixer

An audio mixer that supports various file formats for Simple Directmedia Layer.

OinkBL

Oink Bootloader (OinkBL)，系列文[世界第一簡單的UEFI，實作打造自己的開機畫面](https://ithelp.ithome.com.tw/users/20161828/ironman/6446?page=1)

awesome-windbg-extensions

awesome windbg extensions

DocsGPT

GPT-powered chat for documentation, chat with your documents

edk2-libc

Port of libc to EDK II with applications that depend on libc

qemu-portable

SDL

Simple Directmedia Layer

windbg-scripts

A bunch of JavaScript extensions for WinDbg.