-
The Hong Kong University of Science and Technology
- Clear Water Bay, Hong Kong
-
16:42
(UTC +08:00) - https://scholar.henryhc.net
- https://orcid.org/0000-0002-3082-5957
- @[email protected]
- @bsky.henryhc.net
- @henryhchchc
Highlights
Lists (23)
Sort Name ascending (A-Z)
AI Related Stuff
Tools / models / libraries for AI 🤖Apple Toolbox
Apps and utilities macOS / iOS / iPadOS / watchOS 🍎Awesome Lists
A collection of awesome lists 😎CLI Tools
Awesome Shell tools 🐚Entertaiinment
Let's rock 🎶Fuzzing
Do you want a rabbit 🐰?Hardware
🖥️ Hardware resourcesInfrastructure
🧱 Basic building blocks for experiment and OSKotlin
Libraries and frameworks that are useful for Kotlin development 🐶Linux
Linux specific utilities 🐧Neovim
Tools for enhancing NeoVim or Vim 🔨Python
Modern Python toolchain 🐍Readings
📚 Where knowledge comes fromResearch Artifacts
The name tells you all 📦Research Toolbox
Tools that facilities computer science research 🧐Rust
Useful tools for Rust programming language 🦀Sand Sculpture
Stuffs that are too interesting to be legal 🈲Scala
Think and code functionally 🙈Security Tools
Tools for cryptography, security and privacy 🔒Smart Home
Live in a smarter way 🏠Swift
Tools / libraries for Swift developmentUtilities
Useful tools for enhancing the experience of work and life 🛠VS Code
- All languages
- ANTLR
- Adblock Filter List
- Assembly
- Astro
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Crystal
- D
- Dart
- Dockerfile
- Fennel
- Go
- HTML
- Handlebars
- Haskell
- JSON
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Pug
- Python
- QML
- R
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Solidity
- Stylus
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
- XSLT
- Zig
Starred repositories
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
A compact lunar calendar for your macOS menu bar.
What I have read, am reading or will read.
A cargo plugin to generate Xcode Instruments trace files
LLMDFA: Analyzing Dataflow in Code with Large Language Models
LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow
Zotero extension to retrieve and validate DOIs and shortDOIs
Apple Silicon Guide. Learn all about the A17 Pro, A16 Bionic, R1, M1-series, M2-series, and M3-series chips. Along with all the Devices, Operating Systems, Tools, Gaming, and Software that Apple Si…
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree
Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol
Rust support libraries for context-generic programming
A standalone version of the readability lib
Collection of Testflight public app link(iOS/iPad OS/macOS)。
[ L55MA-AP ] Extracted Firmware for Xiaomi TV A Pro 55 (Hong Kong Editions)
aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Draft and experimental work to port uBO Lite to Safari
Neovim file explorer: edit your filesystem like a buffer
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
A statically typed programming language for scientific computations with first class support for physical dimensions and units