Repository Index

CHIP-8 console on FPGA

• fpga
• verilog
• chip-8
• tinyfpga-bx

Turns a PS2 disc image into a native PC program by static recompilation; builds on ps2-web-recomp (MIT). Work in progress. Bring your own disc.

• playstation-2
• ps2
• recompilation
• static-recompilation

VivaceGraph. Open source Common Lisp graph database & Prolog implementation.

Build innovative Skills with McDonald’s MCP, solve real-world problems, and compete for exclusive 1024 Programmers’ Day prizes.

Command line tool to log all MongoDB queries in a "tail"able way

• mongodb
• cli
• command-line-tool
• logging

TranslatedA turn-based competitive Python programming game: problem-solving speed is combat power. A web-based Python programming battle game.

AIO Tool for backing up and restoring AWS Cognito User Pools

• cognito
• cognito-user-pool
• backup
• restore

On-device Vision Model - a fully offline, free vision pipeline that gives text-only models (e.g. DeepSeek) image understanding and multilingual OCR through an OpenAI-compatible local API. Only tokens are needed: no API key, no subscription, no cloud cost. Recommended for native speakers of Chinese, English, Japanese and Korean.

Convert a number to an approximated text expression: from '0.23' to 'less than a quarter'.

• natural-language-generation
• clojure
• number-to-words
• number-to-text

🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥

• javascript
• validation
• validation-library
• validators

Pure Go WebGPU Implementation

• directx12
• go
• golang
• gpu

Logic programming in Swift

• swift
• kanren
• logic-programming
• solver

PHP2Shell exploit framework — CVE-2026-109618/619 PHP session.upload_progress UAF to RCE

Toggle the iPhone call-recording announcement on/off from a Windows GUI, built on the airlift AirTraffic sandbox escape.

• airlift
• airtraffic
• ios
• sandbox-escape

A curated list of awesome resources for Danish language technology

• awesome
• awesome-list
• danish

A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors

• code-generation
• dependency-injection
• framework
• generics

gonids is a library to parse IDS rules, with a focus primarily on Suricata rule compatibility. There is a discussion forum available that you can join on Google Groups: https://groups.google.com/forum/#!topic/gonids/

• suricata
• parse
• security-tools
• network-security

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

• calculus
• counting
• functions
• graph

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

Encrypted Chat. No History. No Logs.

• encryption
• nacl
• chat
• secure

Encode spatial data as topology in Python! 🌍 https://mattijn.github.io/topojson

• topojson
• topology
• topojson-format
• geojson

The complete hacking & penetration testing roadmap. From beginner to elite. 44,982 lines, 150+ Diagram across the roadmap: OPSEC, web security, Active Directory, binary exploitation, EDR evasion, and 0-day research. 300+ tools, 200+ MITRE techniques, C & Rust payloads, lab guides, books, courses, blogs, practice platforms, and AI security resources

• active-directory
• bug-bounty
• ctf
• cybersecurity

Static recompiler for Nintendo Switch games. Translates the game's ARM64 code to C once and compiles it to a native Windows or Linux program, with an OpenGL renderer and an optional Vulkan one. No games, keys or firmware included.

A haxe programming library for beginners. Powered by OpenFL and Starling.

• openfl
• haxe
• starling
• framework