bsc

{
  "aliases": [],
  "alternatives": [],
  "build_dependencies": [
    "autoconf",
    "cabal-install",
    "ghc",
    "pkgconf"
  ],
  "categories": [],
  "caveats": null,
  "conflicts_with": [
    "libbsc"
  ],
  "dependencies": [
    "gmp",
    "icarus-verilog",
    "tcl-tk"
  ],
  "deprecated": 0,
  "deprecation_reason": null,
  "desc": "Bluespec Compiler (BSC)",
  "disable_reason": null,
  "disabled": 0,
  "enrichment_fetched_at": "2026-06-20T23:36:00+00:00",
  "first_seen": "2026-06-20T23:34:18+00:00",
  "full_name": "bsc",
  "github_default_branch": "main",
  "github_last_commit_at": "2026-06-16T01:21:40Z",
  "github_readme_excerpt": "\u003cdiv class=\"title-block\" style=\"text-align: center;\" align=\"center\"\u003e\n\n# Bluespec Compiler\n\n[![Version]](https://github.com/B-Lang-org/bsc/releases/tag/2026.01)\n[![License]](./COPYING)\n[![Build Status]](https://github.com/B-Lang-org/bsc/actions/workflows/ci.yml?query=branch%3Amain+event%3Apush)\n\n[License]:        https://img.shields.io/badge/license-BSD%203-blueviolet.svg\n[Version]:        https://img.shields.io/badge/release-2026.01-red.svg?logo=v\n[Build Status]:   https://github.com/B-Lang-org/bsc/actions/workflows/ci.yml/badge.svg?branch=main\u0026event=push\n\n**[Community] \u0026bull; [Download] \u0026bull; [Documentation] \u0026bull; [Build] \u0026bull; [Test] \u0026bull; [Develop]**\n\n[Community]: #community\n[Download]: #download\n[Documentation]: #documentation\n[Build]: ./INSTALL.md\n[TEST]: ./testsuite/README.md\n[Develop]: ./DEVELOP.md\n\n---\n\n\u003c/div\u003e\n\nCompiler, simulator, and tools for the **Bluespec Hardware Description\nLanguage**. Bluespec is a single language for digital electronic hardware designs that comes in\ntwo syntactic flavors, which are interchangeable:\n\n  - Bluespec **SystemVerilog** (BSV)\n  - Bluespec **Haskell** (BH, or \"Bluespec Classic\")\n\nBluespec is a *high-level* hardware description language. It has a variety of\nadvanced features including a powerful type system that can prevent errors\nprior to synthesis time, and its most distinguishing feature, **Guarded Atomic\nActions**, allow you to define hardware components in a modular manner based on\ntheir invariants, and let the compiler pick a scheduler.\n\nThe toolchain was under development by [Bluespec Inc] for almost 20 years, and\nhas been proven repeatedly in production designs like [Flute], [Piccolo], and\n[Shakti].\n\nThe Bluespec compiler `bsc` emits standard Verilog for maximum compatibility\nwith any synthesis toolchain and comes with an included simulator (\"bluesim\"),\nstandard library, and TCL scripting support (\"bluetcl\").\n\nThe repository is still evolving. We welcome your feedback, issue reports,\nand pull requests.\n\nA separat",
  "github_repo": "B-Lang-org/bsc",
  "github_stars": 1121,
  "github_topics": [],
  "homepage": "https://github.com/B-Lang-org/bsc",
  "homepage_og_description": null,
  "homepage_og_image": null,
  "homepage_title": null,
  "installs_30d": 16,
  "installs_365d": 249,
  "installs_90d": 37,
  "keg_only": 0,
  "keg_only_reason": null,
  "last_seen": "2026-06-20T23:34:18+00:00",
  "license": "BSD-3-Clause",
  "llm_generated_at": null,
  "llm_model": null,
  "name": "bsc",
  "oldnames": [],
  "one_liner": null,
  "optional_dependencies": [],
  "rank_30d": 7432,
  "rank_365d": 6809,
  "rank_90d": 8086,
  "raw_hash": "0679b9f11aa0d8fe",
  "recommended_dependencies": [],
  "revision": 0,
  "ruby_source_path": "Formula/b/bsc.rb",
  "tap": "homebrew/core",
  "test_dependencies": [],
  "uses_from_macos": [
    {
      "bison": "build"
    },
    {
      "flex": "build"
    },
    {
      "gperf": "build"
    },
    {
      "perl": "build"
    },
    "libffi"
  ],
  "version_head": "HEAD",
  "version_stable": "2026.01",
  "versioned_formulae": [],
  "why_use_this": null
}