聚合日本演唱会场馆真实座位视角图的网站 · Real seat-view photo atlas for Japanese concert venues (Astro + Cloudflare Workers/D1/R2)

Artifact for the Lingua Franca paper in ESEC/FSE'19

Rust library for regular expressions using "fancy" features like look-around and backreferences. Has a mode which aims to be compatible with Oniguruma syntax.

Mod for Slay the Spire 2 to standardize content additions

Lexer generator for C, C++, D, Go, Haskell, Java, JS, OCaml, Python, Rust, Swift, V and Zig.

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.

A tool that validates academic paper references

Automatic verification of LLVM optimizations

A ~9M parameter LLM that talks like a small fish.

The best Claude Code that $200 can buy

A Large-scale Evaluation for Log Parsing Techniques: How Far are We? [ISSTA'24]

Headless Slay the Spire 2 CLI — play the full game from a terminal.

A large collection of system log datasets for AI-driven log analytics [ISSRE'23]

A parser, formatter, validator, and language server for SQLite SQL. Built on SQLite's own grammar and tokenizer

Formal Verification for JavaScript Regular Expressions

Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24

Lean formalization of extended regular expressions with lookarounds

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

A path query language for JSON, YAML, TOML, and other serialization formats.

杀戮尖塔2的MOD，将杀戮尖塔2的游戏状态与操作暴露为本地 HTTP API 包装成 MCP Server，供支持 MCP 的AI客户端直接调用

杀戮尖塔2的MOD，将杀戮尖塔2的游戏状态与操作暴露为本地 HTTP API ，内置控制台以便简单配置后即可使用LLM爬塔，我已经迫不及待想让AI操作故障机器人爬塔了

MCP client and Skill for US Card Forum

Project Sekai sticker maker

A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.

十分钟魔法练习 in Rust