- Shenzhen, Guangdong, China
-
12:20
(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
- PowerShell
- 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
- YAML
- YARA
- Zig
Starred repositories
A program analysis, verification, and optimization framework
A community collection of OpenClaw use cases for making life easier.
Python bindings for access to the on-device model at the core of Apple Intelligence through the Foundation Models framework
An AI-powered security review GitHub Action using Claude to analyze code changes for security vulnerabilities.
从 Andrej Karpathy 推荐的 90 顶级技术博客中抓取最新文章,AI 多维评分筛选,生成一份每日精选日报。更多可见公众号:懂点儿AI
Claude Code多智能体编排Skill:自适应决策 + 6阶段工作流 + 5大场景 | Multi-agent orchestration skill for Claude Code
45 tips for getting the most out of Claude Code, from basics to advanced - includes a custom status line script, cutting the system prompt in half, using Gemini CLI as Claude Code's minion, and Cla…
66 Specialized Skills for Full-Stack Developers. Transform Claude Code into your expert pair programmer.
[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.
An overview of LLMs for cybersecurity.
Curated resources, research, and tools for securing AI systems
A comprehensive, step-by-step guide to mastering cybersecurity from beginner to expert level with curated resources, tools, and career guidance
OpenViking is an open-source context database designed specifically for AI Agents(such as openclaw). OpenViking unifies the management of context (memory, resources, and skills) that Agents need th…
An open, sub-millisecond, single-executable Firebase alternative with type-safe APIs, built-in WebAssembly runtime, realtime subscriptions, auth, and admin UI built on Rust, SQLite & Wasmtime.
"DeepTutor: AI-Powered Personalized Learning Assistant"
Automate the process of making money online.
A minimal, secure Python interpreter written in Rust for use by AI
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Up to 45x faster 🚀 Auto generate type-safe validation code for structs based on markers.
bethington / ghidra-mcp
Forked from LaurieWired/GhidraMCPProduction-grade Ghidra MCP Server — 179 MCP tools, 147 GUI + 172 headless endpoints, Ghidra Server integration, cross-binary documentation transfer, batch operations, AI documentation workflows, a…
A neurosymbolic framework for vulnerability detection in code
📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…
An open-source alternative to Claude Cowork built for teams, powered by opencode