MCPU - A Minimal 8Bit CPU in a 32 Macrocell CPLD

A bidirectional Markdown to HTML to Markdown converter written in Javascript

Everything we actually know about the Apple Neural Engine (ANE)

Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows

A mod to connect to multiple Minecraft server versions

Turn (almost) any Python command line program into a full GUI application with one line

🇨🇳 Chinese sticker pack,More joy / 表情包的博物馆, Github最有毒的仓库, 中国表情包大集合, 聚欢乐~

A superoptimizer for LLVM IR

🦆鸭子编译器

通过 UAC 阻止流氓软件的管理员授权. / Prevent UAC authorization of malware.

The GitHub Archive Program & Arctic Code Vault

Client-side and server-side ViaVersion implementation for Fabric

A system that may trick hackers. 针对黑客的拟态欺骗系统。

Summer Scheming!!!!!!

Proof assistant based on the λΠ-calculus modulo rewriting

How to create an OS from scratch

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

Base Docker image to run wine programs in a web browser via noVNC (html5 vnc viewer) + Xvfb + x11vnc

A purely functional programming language with first class types

Incremental parsing system

Functional constructs for Kotlin

CLP(SMT) on top of miniKanren

Zircon microkernel reimplemented in Rust.

Pure Rust x86_64 bootloader and kernel

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

Proof automation – for Agda, in Agda.

Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org

The most widely used Python to C compiler

Productive, portable, and performant GPU programming in Python.