RISC-V Processor Trace Specification

A library to display rich (Markdown) snippets and texts in a rust terminal application

Python wheels that work on any linux (almost)

LeetGPU Challenges

Refinement types for Scala

A set of symbols, footprints and 3d models of the basic components from JLCPCB's smt assembly

Agent skills for Obsidian

Seamless integration between Claude Code AI assistant and Neovim

Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format …

RISC-V Formal Verification Framework

Open-source PDK version manager

A powerful little TUI framework 🏗

Mooncake is the serving platform for Kimi, a leading LLM service provided by Moonshot AI.

Modern, extensible Python project management

Create a 130GB Nix ️store in GitHub runners ❄️ Multi-partition BTRFS RAID-0 for /nix 💪 Brutally purges unnecessary software 🪓 Dynamically grows the Nix store 📈

AirPods liberated from Apple's ecosystem.

Coverage plugin for pytest.

Illegal rust

Kimi CLI is your next CLI agent.

How can we build a true AI agent? Like Claude Code.

Python Type Checker / Language Server

Why is this running?

Build Container Images In Kubernetes

Work with remote images registries - retrieving information, images, signing content

A modern file manager that helps users organize their files and folders.

An Open Phone Agent Model & Framework. Unlocking the AI Phone for Everyone

A rich terminal UI for GitHub that doesn't break your flow.

VST 3 Plug-In SDK

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

UART implementation using zaozi EDSL