Skip to content
View sequencer's full-sized avatar
  • Xinpian, Tech
  • Wuhan, China

Organizations

@freechipsproject @cnrv @chipsalliance

Block or report sequencer

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Meta repo of all my Apple Silicon reverse engineering work. Clean room only, no tainted materials

1 Updated Jul 28, 2026

Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats

Python 55 10 Updated Apr 8, 2023

Benchmarking a single‑prompt Rust OS kernel implementation, comparing Claude Code Fable, Opus, and Sonnet.

52 1 Updated Aug 1, 2026

Testing framework for decoders conformance

Python 78 33 Updated Jul 28, 2026
Python 5 Updated Jul 23, 2026
C++ 2 Updated Jun 8, 2026

FrontEnd Reverse-engineering Toolkit - CPU frontend uarch research framework

C++ 13 Updated Jul 31, 2026

From Automated Idea Factory to Realization

Shell 1,358 120 Updated Jul 18, 2026

An open-source Simulation Trace Format specification

Python 17 1 Updated Jun 4, 2026

Python pipeline for converting textured 3D assets into Snapmaker U1-compatible multicolor 3MF files with palette mapping, virtual mixes, and a Streamlit UI.

Python 15 Updated Mar 28, 2026

TACIT — Tracked Agent Capabilities In Types

Scala 64 11 Updated Jul 23, 2026

An open-source HEVC encoder

C 962 211 Updated Apr 22, 2026

A verifier for automated and interactive proofs about transition systems.

Lean 274 20 Updated Jul 5, 2026

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 …

Python 23,580 3,258 Updated Jul 17, 2026

A Language Server Protocol (LSP) for beancount files

Rust 244 38 Updated Aug 1, 2026

A collection of reverse engineered Apple things, as well as a machine-readable database of Apple hardware

Ruby 1,357 107 Updated Jul 31, 2026
Python 3 2 Updated Jul 31, 2026

Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity

Go 29,789 4,372 Updated Jul 30, 2026

Python and PowerShell scripting for Dell EMC PowerEdge iDRAC REST API with DMTF Redfish

PowerShell 730 305 Updated Jul 31, 2026

Rust implementation of the Microsoft Remote Desktop Protocol (RDP)

Rust 3,091 241 Updated Jul 31, 2026

A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎,预测万物

Python 69,770 10,904 Updated Jul 23, 2026

Continuous Thought Machines, because thought takes time and reasoning is a process.

Python 2,013 307 Updated Dec 29, 2025

Open-Source Low-Latency Accelerated Linux WebRTC HTML5 Remote Desktop Streaming Platform for Self-Hosting, Containers, Kubernetes, or Cloud/HPC

Python 1,958 169 Updated Jul 31, 2026

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 1,565 138 Updated Jul 20, 2026

APALACHE: symbolic model checker for TLA+ and Quint

Scala 588 51 Updated Jul 31, 2026

Cross-platform Xcode replacement. Build and deploy iOS apps with SwiftPM on Linux, Windows, macOS.

Swift 5,265 137 Updated Jul 18, 2026

The rustic MLIR bindings in Rust

Rust 530 76 Updated Jul 25, 2026

Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models

Python 4,575 349 Updated Jan 14, 2026

Verified Intermediate Representation

Lean 82 17 Updated Aug 1, 2026
Next