- Shenzhen, Guangdong, China
-
19:14
(UTC +08:00) - @hongxuchen
- in/hongxu-chen-ntu
- u/hongxuchen
Highlights
- Pro
Lists (9)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- Awk
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Meson
- Nushell
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- Python
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- SmPL
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
- Wikitext
- YARA
- Zig
Starred repositories
A collection of daily coding challenges designed to help you master idiomatic Go through deliberate, repetitive practice.
an opinionated approach to productive development with Claude Code
Intelligent prompt improver hook for Claude Code. Type vibes, ship precision.
A structural code search engine for Al agents.
A ssh server that knows who you are. $ ssh whoami.filippo.io
A curated catalogue of awesome agentic AI patterns
A self-learning system for Claude Code that captures corrections, positive feedback, and preferences — then syncs them to CLAUDE.md and AGENTS.md.
All parts of Claude Code's system prompt, 20 builtin tool descriptions, sub agent prompts (Plan/Explore/Task), utility prompts (CLAUDE.md, compact, statusline, magic docs, WebFetch, Bash cmd, secur…
🚀 Beautiful highly customizable statusline for Claude Code CLI with powerline support, themes, and more.
Official Claude Code compound engineering plugin
The awesome collection of Claude Skills and resources.
Kilo is the all-in-one agentic engineering platform. Build, ship, and iterate faster with the most popular open source coding agent. #1 on OpenRouter. 750k+ Kilo Coders. 6.1 trillion tokens/month.
Public repository of the Micro QuickJS Javascript Engine
A lightweight, fast, terminal-based markdown research tool inspired by Obsidian
Welcome to `ai-secure-code-review`, a repository that integrates static analysis tools with Generative AI, specifically Semgrep and Azure OpenAI's GPT models, to automate and enhance code reviews f…
tiktoken is a fast BPE tokeniser for use with OpenAI's models.
AI-augmented development in Vim and Neovim
VSCode plugin that shows bugs detected by the Clang Static Analyzer and Clang Tidy analyzers using CodeChecker as a backend.
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
Open-source Trading OS with pluggable AI brain | From market data → AI reasoning → Trade execution | Self-hosted & Multi-exchange
Creusot helps you prove your code is correct in an automated fashion.
Save anything. Share, sell or collaborate. Privately.
Awesome Large Language Models for Vulnerability Detection
ClangQL is a tool that allow you to run SQL-like query on C/C++ Code instead of database files using the GitQL SDK
Open-source AI agents for penetration testing
Use mkslides to easily turn markdown files into beautiful slides using the power of Reveal.js!