Repositories list

• bsc

  Public
  Bluespec Compiler (BSC)

  Haskell

  •

  Other

  •178178 forks•22 stars•55 issues•44 pull requests•Updated May 6, 2026May 6, 2026

• hw-cbmc

  Public
  The HW-CBMC and EBMC Model Checkers for Verilog

  C++

  •

  Other

  •2323 forks•00 stars•00 issues•00 pull requests•Updated May 2, 2026May 2, 2026

• bb-storage

  Public
  Storage daemon, capable of storing data for the Remote Execution protocol

  Go

  •

  Apache License 2.0

  •128128 forks•00 stars•00 issues•44 pull requests•Updated Apr 24, 2026Apr 24, 2026

• bb-portal

  Public
  Build Event Stream capturing

  TypeScript

  •

  Apache License 2.0

  •2222 forks•00 stars•00 issues•2121 pull requests•Updated Apr 23, 2026Apr 23, 2026

• bb-remote-execution

  Public
  Tools for Buildbarn to allow remote execution of build actions

  Go

  •

  Apache License 2.0

  •9090 forks•00 stars•00 issues•33 pull requests•Updated Apr 8, 2026Apr 8, 2026

• bb-deployments

  Public
  Example deployments of Buildbarn on various platforms

  Jsonnet

  •

  Apache License 2.0

  •8989 forks•00 stars•00 issues•88 pull requests•Updated Apr 8, 2026Apr 8, 2026

• learn-bluespec

  Public
  Verilog engineers learning Haskell. Haskell engineers learning hardware. Everybody emerges with superpowers. No exceptions.

  Jupyter Notebook

  •00 forks•00 stars•22 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• bb-remote-asset

  Public
  An implementation of the Remote Asset API

  Go

  •

  Apache License 2.0

  •2727 forks•00 stars•00 issues•00 pull requests•Updated Mar 23, 2026Mar 23, 2026

• rules_derive

  Public
  Simple and fast derive macros using macro_rules!()

  Rust

  •

  MIT License

  •11 fork•2828 stars•00 issues•00 pull requests•Updated Sep 24, 2025Sep 24, 2025

• sysroot

  Public
  A repository for generating a toolchains_llvm that can be downloaded and run with Bazel

  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 14, 2025Aug 14, 2025

• seqax

  Public
  seqax = sequence modeling + JAX

  llm-training

  llm-training

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1919 forks•190190 stars•11 issue•22 pull requests•Updated Jul 23, 2025Jul 23, 2025

• iverilog

  Public
  Icarus Verilog

  C++

  •

  GNU General Public License v2.0

  •596596 forks•00 stars•00 issues•00 pull requests•Updated Feb 5, 2025Feb 5, 2025

• systemd

  Public
  The systemd System and Service Manager

  C

  •

  GNU General Public License v2.0

  •4.5k4.5k forks•00 stars•00 issues•00 pull requests•Updated Oct 7, 2024Oct 7, 2024

• protocol

  Public
  An ASCII Header Generator for Network Protocols

  Python

  •

  GNU General Public License v3.0

  •9090 forks•00 stars•00 issues•00 pull requests•Updated Sep 4, 2024Sep 4, 2024

• rules_rust

  Public
  Rust rules for Bazel

  Starlark

  •

  Apache License 2.0

  •592592 forks•00 stars•00 issues•66 pull requests•Updated Jan 19, 2024Jan 19, 2024