Hierarchical Asynchronous Circuit Kompiler Toolkit

Super-parallel Python port of the C-Reduce

High-performance extensible build system for reproducible multi-language builds.

keep-sorted is a language-agnostic formatter that sorts lines between two markers in a larger file.

A good looking terminal emulator which mimics the old cathode display...

Empowering everyone to build reliable and efficient software.

cargo subcommand to compile rust projects remotely

Bears for coala

Tool to generate compile_commands.json from the Bazel build system

The IntercalScript programming language

An uroboros program with 100+ programming languages

Bazel Starlark extensions for defining fuzz tests in Bazel projects

Convert .ninja_log files to chrome's about:tracing format.

The Fast Lexical Analyzer - scanner generator for lexing in C and C++

GitHub Actions runner images

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

a small build system with a focus on speed

Run your GitHub Actions locally 🚀

Filesystem access tracer

Wrangling Untrusted File Formats Safely

An open-source graph database

SystemVerilog Toys

Verible provides a SystemVerilog parser, style-linter, and formatter.

The fink package manager

Fibre Channel / FICON HBA implemented on FPGA

XCircuit circuit drawing and schematic capture tool

Magic VLSI Layout Tool

Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.