Henry Chu

A library for analyzing and manipulating JVM bytecode

FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse sets of valid inputs for programs under test.

A grey-box hybrid fuzzer that generates test cases for language servers

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

🍻 Default formulae for the missing package manager for macOS

Course Project for CS309 OOAD Fall 2018

Characterizing and Recommending Mocking Decision for Unit Tests

Automatically submit daily health report to SUSTech

My Neovim configurations

Sakai resource sync client for SUSTech

PAM plugin module that allows the Apple Watch to be used for authentication

Automation scripts via Hammerspoon 🔨🥄

Rust APIs for Java Virtual Machine Tool Interface (JVMTI)

A LaTeX document class for homework assignments in SUSTech

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Write Cloudflare Workers in 100% Rust via WebAssembly

A modern alternative to ls

Kotlin code completion, linting and more for any editor/IDE using the Language Server Protocol

Empowering everyone to build reliable and efficient software.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Greenify prescription which stops unwanted apps from popping up when an NFC card approaches.

Quickstart configs for Nvim LSP

Cross-platform, fast, feature-rich, GPU based terminal

Rust friendly bindings to *nix APIs

A comment extension for the Zed editor

No description.

An implementation of the Language Server Protocol for LaTeX

Solidity, the Smart Contract Programming Language

A Rust compiler front-end for IDEs

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

QML grammar for the tree-sitter parsing library

A fast, powerful type checker designed for Ruby

MLIR grammar for tree-sitter

Slang grammar for tree-sitter

Boolean function minimizer based on Quine–McCluskey algorithm.

BibTeX grammar for tree-sitter

LaTeX grammar for tree-sitter

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

🐇 Fuzzing Rust code with American Fuzzy Lop

Multi-Objective GP for Automated Repair of Java

Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

Soot - A Java optimization framework

Types for communicating with a language server

No description.

🤗更优雅的微信公众号订阅方式，支持私有化部署、微信公众号RSS生成（基于微信读书）v2.x

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

Vim-fork focused on extensibility and usability

Store SSH keys in the Secure Enclave

Java project for computer programming lesson in SUSTech

No description.

No description.

An utility helps you save images provided by Windows spotlight of your Windows 10 lock screen.

Automatic homework judging for CS102A@SUSTech

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.

Gradle plugin that makes it easy to work with JavaFX 11+