-
Xinpian, Tech
- Wuhan, China
Stars
- All languages
- ANTLR
- ASL
- Ada
- Assembly
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- Coq
- Cuda
- Dart
- Dockerfile
- Emacs Lisp
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- MATLAB
- MLIR
- Makefile
- Markdown
- Mojo
- Nix
- OCaml
- Objective-C
- OpenQASM
- Perl
- PowerShell
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sail
- Scala
- Shell
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- Vue
- Wikitext
Meta repo of all my Apple Silicon reverse engineering work. Clean room only, no tainted materials
Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats
Benchmarking a single‑prompt Rust OS kernel implementation, comparing Claude Code Fable, Opus, and Sonnet.
FrontEnd Reverse-engineering Toolkit - CPU frontend uarch research framework
An open-source Simulation Trace Format specification
Python pipeline for converting textured 3D assets into Snapmaker U1-compatible multicolor 3MF files with palette mapping, virtual mixes, and a Streamlit UI.
A verifier for automated and interactive proofs about transition systems.
345 Claude Code skills & agent skills & plugins (30+ Agents, 70+ custom commands, 330+ skills, customizable references, scripts)for Claude Code, Codex, Gemini CLI, Cursor, and 8 more coding agents …
A Language Server Protocol (LSP) for beancount files
A collection of reverse engineered Apple things, as well as a machine-readable database of Apple hardware
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
Python and PowerShell scripting for Dell EMC PowerEdge iDRAC REST API with DMTF Redfish
Rust implementation of the Microsoft Remote Desktop Protocol (RDP)
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎,预测万物
Continuous Thought Machines, because thought takes time and reasoning is a process.
Open-Source Low-Latency Accelerated Linux WebRTC HTML5 Remote Desktop Streaming Platform for Self-Hosting, Containers, Kubernetes, or Cloud/HPC
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
APALACHE: symbolic model checker for TLA+ and Quint
Cross-platform Xcode replacement. Build and deploy iOS apps with SwiftPM on Linux, Windows, macOS.
Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models