The best ChatGPT that $100 can buy.

Bambdas collection for Burp Suite Professional and Community.

A polite and user-friendly downloader for Common Crawl data

Dafny is a verification-aware programming language

This is the repository of a StepMania machine learning tool called Meatball. Have you every wanted all your favourite charts on the same difficulty scale?

Generate type-safe code from SQL

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Documentation of NVIDIA chip/hardware interfaces

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

Spike, a RISC-V ISA Simulator

RISC-V port of GNU's libc

Clone of the Age of Empires II engine 🚀

simple job queue manager -- REPO is OBSOLETE; please see "notes" repo for updates

The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

RISC-V simulator for x86-64

Cista is a simple, high-performance, zero-copy C++ serialization & reflection library.

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

🌱Light and powerful C++ web framework for highly scalable and resource-efficient web application. It's zero-dependency and easy-portable.

A simple Minecraft clone written in C using modern OpenGL (shaders).

Modern and feature-rich web browser base based on Electron

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

JSON for Modern C++