-
University of Texas at Dallas
- Dallas, TX, US
-
11:57
(UTC -05:00) - https://jianshuw.in/
- https://orcid.org/0009-0001-4458-2087
- in/jianshu-w
Highlights
- All languages
- ASL
- ActionScript
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Erlang
- Fluent
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- MoonScript
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Sass
- Scala
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Vala
- Visual Basic .NET
- Vue
- WebAssembly
- YARA
Starred repositories
Headless Mumble Linux Client for use as a Transceiver, Walkie Talkie, Intercom, Radio Gateway for SBCs
Safari-friendly Bilibili CDN accelerator for smoother overseas playback.
The Matrix homeserver for serious scale. Clusterable, highly available, horizontally scalable.
An MCP server for reading PDFs, coded by human, designed for AI
A set of Rust crates for interacting with the Matrix chat network.
A Matrix community management platform
Secure environments for developers and their agents
framework for evaluating (planet-scale) consensus protocols
Research prototype tool for modular formal verification of C, Rust and Java programs
Transforms UDP stream into (fake) TCP streams that can go through Layer 3 & Layer 4 (NAPT) firewalls/NATs.
stable diffusion 动漫标签自动化评测
🛡 I2P: End-to-End encrypted and anonymous Internet
The diary of Tom Riddle for the reMarkable Paper Pro — write with your pen, the page drinks your ink and answers in a flowing hand
🎥 Make videos programmatically with React
Quickly find bottlenecks in Rust - one profiler for CPU, memory, SQL, HTTP, I/O and async code.
Bun decompiler-style JavaScript extractor for Bun-compiled executables. Zero-dependency Python tool for reverse engineering, malware analysis, and code recovery.
Ip2region is an offline IP-to-Region localization library and IP data management framework with both IPv4 and IPv6 supports, 10-microsecond level query efficiency, xdb search client for many progra…
A desktop companion for EVE Online fleet commanders. A coding project for me to learn C#
Provide Pixiv backend proxy & frontend service based on serverless technology
New Mumble client for Apple devices
Realm is a cross platform Red Team engagement platform with a focus on automation and reliability.
MCP server for Atlassian tools (Confluence, Jira)
Yuedu is a native iOS reader that supports multiple book formats, RSS subscriptions, and user-provided book sources.
SciPilot Skills family - Publication-grade scientific figure copilot for Claude Code
The tiniest OpenID Certified™ authorization and authentication server you have ever seen.
PEER.AS — explore global BGP routing, IP prefixes, ASNs, AS_PATH, origins and peering.