Repository Index

Yet another WeChat Mini-Program Framework (WMPF) debugger

Projects for security students

• redteam
• security
• network
• network-programming

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

EPI Judge - Preview Release

• algorithms
• interviewing
• elements-of-programming-interviews
• cplusplus

Go AI program which implements the AlphaGo Zero paper

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.

• proof-assistant
• lean4
• ai-agents
• ai-for-math

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

• machine-learning
• deep-learning
• artificial-intelligence
• ai

An open programming typeface built on Iosevka. Compact, geometric, and tuned for editors and terminals.

• iosevka
• iosevka-custom
• iosevka-font
• monospace

Beef Programming Language

• programming-language
• compiler
• ide
• beef-language

This is a full JavaScript course by Clever Programmer

A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust

• ci
• cli
• developer-tools
• open-source

A statically typed language compatible with Python

• compiler
• programming-language
• python
• rust

Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs

• stl
• steam
• linux
• wrapper

A Python module for controlling interactive programs in a pseudo-terminal

A statically typed programming language for scientific computations with first class support for physical dimensions and units

• calculator
• physics
• programming-language
• statically-typed

Collection of resources spanning key areas of Computer Science

• awesome-list
• computer
• programming-language
• artificial-intelligence

:green_book: The Beauty of Python Programming.

• python
• gitbook

Lecture notes, projects and other materials for Course 'CS219 Advanced Programming' at Southern University of Science and Technology.

• cpp
• c
• lecture-notes

The Lobster Programming Language

Functional extensions for C#

• csharp
• entity
• functional-programming
• maybe-monad

x64dbg-MCP Server is a native MCP (Model Context Protocol) plugin for x64dbg that exposes the debugger's full functionality over HTTP. Connect any MCP-compatible AI assistant and control x64dbg programmatically: set breakpoints, step through code, read memory, dump registers, and more. Built with Zig — zero dependencies, single-binary output, cros

• ai-agents
• ai-debugging
• binary-analysis
• claude

Learn Godot's GDScript programming language from zero, right in your browser, for free.

• game-development
• godot
• gdscript
• education

:boom::computer::boom: A data-parallel functional programming language

• language
• boom
• gpu
• hpc

The repository host gives no description.