- Shenzhen, China
- blog.ylxdzsw.com
Highlights
- Pro
Stars
- All languages
- ActionScript
- Ada
- Assembly
- AutoHotkey
- Awk
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Cuda
- D
- Dart
- Dockerfile
- Dylan
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mercury
- Nim
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Perl
- PowerShell
- Prolog
- Protocol Buffer
- Python
- QML
- R
- Racket
- ReScript
- Red
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SVG
- Sass
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Vim Script
- Vue
- WebAssembly
- XSLT
- Yacc
- Zig
KaTeX-rs is a Rust implementation of [KaTeX](https://github.com/KaTeX/KaTeX), providing fast mathematical typesetting capabilities, not limited to Javascript environments.
An efficient, reliable parser for CommonMark, a standard dialect of Markdown
Kestrer / bounded-integer
Forked from programble/bounded-integerBounded integers for Rust
cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.
Generate a timeline of your day, automatically
A secure embedded operating system for microcontrollers
Fast JSON deserialization on borrowed data
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
Cranelift based backend for rustc
Fork of std::sync::Arc with lots of utilities useful for FFI
Production-ready KV-backed HNSW implementation in Rust using LMDB
Tongyi Deep Research, the Leading Open-source Deep Research Agent
A fast and user-transparent parallel simulator implementation for ns-3
Gemini 2025 ICPC World Finals Code Submissions
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Madoko is a fast markdown processor for high quality academic and technical articles
ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
Package scripts for MinGW-w64 targets to build under MSYS2.