-
The University of Hong Kong
- /dev/null
-
03:13
(UTC +08:00) - asuka39.top
- https://asuka39.github.io
Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- Common Lisp
- Cuda
- Dockerfile
- Go
- HLSL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MATLAB
- Makefile
- Markdown
- Mask
- Max
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- Python
- R
- Ren'Py
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Vue
- XSLT
- YAML
Starred repositories
🔬 Harness Vibe Research with Self-evolving AI Scientists
Spec-driven development (SDD) for AI coding assistants.
The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Your favorite Terminal Coding Agent, now in Rust & a Breakdown of the Claude Code leak & discoveries
A benchmark and harness for finding and exploiting smart contract bugs
My tutorial on disclosing data for double blind peer review and make it archived open data upon acceptance.
The comsoft group in Wuhan University
Sample LaTex file for HKU PhD thesis.
Tips for Writing a Research Paper using LaTeX
📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…
CORAL is a robust, lightweight infrastructure for multi-agent self-evolution, built for autoresearch.
The Plus version of CLIProxyAPI
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
高性能短序列稀疏Mask Attention CUDA算子,针对<1K序列+75%稀疏度优化
AI agents running research on single-GPU nanochat training automatically
Reverse Engineering: Decompiling Binary Code with Large Language Models
AgentEvolver: Towards Efficient Self-Evolving Agent System
A list of awesome papers and resources of the intersection of Large Language Models and Evolutionary Computation.
[KernelGYM & Dr. Kernel] A distributed GPU environment and a collection of RL training methods to support RL for Kernel Generations
Building the Virtuous Cycle for AI-driven LLM Systems
"ClawWork: OpenClaw as Your AI Coworker - 💰 $15K earned in 11 Hours"