Stars
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.
we-promise / sure
Forked from maybe-finance/maybeThe 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…
A Git-compatible VCS that is both simple and powerful
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
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
🐋 Ansible playbook which helps you host various FOSS services as Docker containers on your own server