CORAL is a robust, lightweight infrastructure for multi-agent autonomous self-evolution, built for autoresearch. Works with Claude Code, Codex, Cursor, OpenCode, Kiro, and more.

Rocq framework to define the semantics of CPU architectures

Claude plugin: DIY U.S. EB-2 NIW case evaluation under the current USCIS adjudication standard

The Programming Language for Agents

zkSnark circuit compiler

Benchmark of ZKVMs and Proving Schemes

A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.

ARCH hardware description language and compiler

Rust bindings for the Vampire theorem prover

符合nature论文学术表达和科研绘图的Skill

A Lean-embedded framework to verify Verilog modules

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Configurable low-precision floating-point and microscaling hardware in Chisel

Accelerator for MatmulFree LLM algorithm

Easy bindings between Lean and Python.

A dark, violet-toned theme designed for quality & visual comfort ◡̈

Property-based testing for Rust, built on Hypothesis

A completely vibecoded operating system targeting Aarch64

an experimental new programming language based on interaction nets

Create RISCV CSR ARCH code from SystemRDL 2.0 spec

A Python-based HDL and framework for silicon-based witchcraft

From Automated Idea Factory to Realization

Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown and Spectre)

Constructing Hardware in Lisp

Agent Skill for AI-assisted manuscript writing review, based on Dr. Kristin Sainani's "Writing in the Sciences" methodology.