Lists (14)
Sort Name ascending (A-Z)
- All languages
- Assembly
- BibTeX Style
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Cuda
- Dafny
- Dockerfile
- FIRRTL
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- MoonBit
- OCaml
- Objective-C
- PHP
- Python
- Ruby
- Rust
- SCSS
- SMT
- SVG
- SWIG
- Sail
- Scala
- Shell
- Slash
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- Vue
Starred repositories
清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University
你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码
得意黑 Smiley Sans:一款在人文观感和几何特征中寻找平衡的中文黑体
AI education materials for Chinese students, teachers and IT professionals.
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。
清华大学计算机系考研攻略 Guidance for postgraduate entrance examination in Department of Computer Science and Technology, Tsinghua University
A platform that helps you deploy services with one click.
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
📷 A Website created using Tailwind CSS, HTML, CSS and JavaScript that can be used as a Photographer Portfolio.
Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing tools, and resources that can help us use fuzzer easily.
Physics of Language Models: Part 4.2, Canon Layers at Scale where Synthetic Pretraining Resonates in Reality
🚀 Explore the source code of the front-end library and implement a super mini version 前端轮子库,包含框架及其周边生态、工具链、插件迷你源码实现
Verification and Generation of Smart Contracts using Stainless and Scala