ABC: System for Sequential Logic Synthesis and Formal Verification

MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu IEEE/ACM International Conference On Computer Aided Des…

A dev agent multiplexer for git worktrees and coding agents.

An experimental Bazel compatible remote build system

Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.

Self-hosted platform to unify wearable health data through one AI-ready API.

Terminal UI for AWS (taws) - A terminal-based AWS resource viewer and manager

Beautiful map components. 100% Free, Zero config, one command setup.

CLI for internet speed test via cloudflare

A user friendly TUI for SQL databases. Written in python. Supports SQL server, Mysql, PostreSQL, SQLite, Turso and more.

Why is this running?

A minimalist text editor that lives in URL

The personal finance app for everyone. NOT affiliated with or endorsed by Maybe Finance Inc.

Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and…

a straightforward NixOS setup for my homelab and personal computers

A minimal, fast, database client desktop application. Built for developers who want to quickly peek at their data without the bloat.

🚀 An awesome list of curated Nano Banana pro prompts and examples. Your go-to resource for mastering prompt engineering and exploring the creative potential of the Nano banana pro(Nano banana 2) AI…

fresh directories for every vibe

A Git-compatible VCS that is both simple and powerful

Stacked Pull Requests on GitHub

Run your GitHub Actions locally 🚀

Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)

Docker installation of Vivado tooling

RISC-V Directed Test Framework and Compliance Suite, RiESCUE

Open-source AMBA CHI infrastructures (supporting Issue B, E.b)

🗺️ Example Python project using best practices 🐍 https://github.com/johnthagen/python-blueprint