- Beijing
- blog.xtao.me
Stars
- All languages
- APL
- AppleScript
- Assembly
- Astro
- Awk
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- D
- DTrace
- Dhall
- Dockerfile
- Eagle
- Elixir
- Emacs Lisp
- Erlang
- F#
- Forth
- FreeMarker
- GLSL
- Go
- HCL
- HTML
- Haml
- Haskell
- Haxe
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Kotlin
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Python
- R
- Racket
- ReScript
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Vue
- Zig
- hoon
Move and resize windows on macOS with keyboard shortcuts and snap areas
Distributed, MVCC SQLite that runs on FoundationDB.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Huntly, information management tool, rss reader, automatic saving browsed contents include tweets, github stars management tool. 信息管理工具、RSS 阅读器、GitHub stars 管理、推文管理、自动记录浏览过的文章。
Python bindings for the fast integer compression library FastPFor.
Stable Diffusion on FreeBSD with CUDA support
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
Pure Rust multimedia format demuxing, tag reading, and audio decoding library
A network packet info dumping tool like tcpdump based on `tc-bpf`.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
A declarative, HTML-based language that makes building web apps fun
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Open-source, cloud-native, unified observability database for metrics, logs and traces, supporting SQL/PromQL/Streaming. Available on GreptimeCloud.
An extremely fast Python linter and code formatter, written in Rust.
ShaderNN is a lightweight deep learning inference framework optimized for Convolutional Neural Networks on mobile platforms.
WebAssembly powered Plotly Dash running in the browser
🏕️ Reproducible development environment for humans and agents
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"