Verified Rust for low-level systems code

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Program for creating Langton's Ant animations

OpenCL is the most powerful programming language ever created. Yet the OpenCL C++ bindings are cumbersome and the code overhead prevents many people from getting started. I created this lightweight…

An iambic CW keyer with sidetone.

πfs - the data-free filesystem!

Creusot helps you prove your code is correct in an automated fashion.

Analyze ELF binaries like a boss 😼🕵️‍♂️

A digital logic designer and circuit simulator.

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

RTL-SDR experimental branch

Rime 配置：雾凇拼音 | 长期维护的简体词库

A library for the WSJT-X UDP protocol

A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.

卡西欧 991-cnx 破解

GameStream client for PCs (Windows, Mac, Linux, and Steam Link)

卡西欧classwizard系列模拟器，支持调试，rop一件注入

991CN X 反编译及资料整理

An emulator for nX-U8 based Casio fx-es PLUS calculators

Reverse Engineering: Decompiling Binary Code with Large Language Models

小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 ｜ 评论爬虫、微博帖子 ｜ 评论爬虫、百度贴吧帖子 ｜ 百度贴吧评论回复爬虫 | 知乎问答文章｜评论爬虫

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

A simple Python Pydantic model for Honkai: Star Rail parsed data from the Mihomo API.

A bridge/proxy allowing you to connect to Minecraft: Java Edition servers with Minecraft: Bedrock Edition.

USB WiFi Adapter Information for Linux

汉字编码输入方案核心算法

A Rust library to run a USB/IP server

Counterexamples in Type Systems