macOS
brew install bsclocal Homebrew formula metadata
sudo port install bscMacPorts ports tree · archivers/bsc/Portfile · ソース: api.github.com
brew / 順位 7081
bsc のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install bsclocal Homebrew formula metadata
sudo port install bscMacPorts ports tree · archivers/bsc/Portfile · ソース: api.github.com
nix profile install nixpkgs#bscnixpkgs package indexes · pkgs/by-name/bs/bsc/package.nix · ソース: api.github.com
概要
Bluespec Compiler (BSC)
履歴
The Bluespec Compiler, usually packaged as `bsc`, is the open-source compiler and toolchain for Bluespec Hardware Description Languages. It turns Bluespec SystemVerilog and Bluespec Haskell into Verilog and includes simulation, libraries, and Tcl tooling, making it a specialist but important package for hardware-language users.
The BSC README says the toolchain was developed by Bluespec Inc. for almost 20 years before becoming the community-maintained open-source compiler under the B-Lang organization. That history matters because Bluespec is not a toy HDL: the README points to production designs such as Flute, Piccolo, and Shakti as evidence of prior industrial and academic use.
BSC supports two interchangeable syntactic flavors, Bluespec SystemVerilog and Bluespec Haskell/Classic. Its core language feature, Guarded Atomic Actions, lets designers describe modular rules and leaves scheduling work to the compiler. The packaged executable `bsc` emits standard Verilog, while `bluetcl` exposes Tcl scripting around the toolchain.
The upstream README lists distribution packaging for Arch AUR, Fedora via Terra, Gentoo GURU/LiGurOS, Homebrew, and Nix/NixOS. The provided package facts also show Homebrew, MacPorts, and Nix packaging, so the compiler has escaped source-only installation despite its niche hardware-design audience.
BSC adoption is concentrated in hardware language, RISC-V, and research communities rather than general software development. Its packaging is valuable because HDL compilers are often difficult to build reproducibly, and a package-manager formula lowers the cost of trying existing Bluespec designs.
Users compile BSV or BH source with `bsc`, use the bundled Bluesim simulator for execution, use standard libraries documented in the BSC library guide, and can automate workflows through `bluetcl`.
Because BSC emits standard Verilog, it fits into existing synthesis and simulation flows rather than requiring a wholly separate downstream hardware ecosystem.
BSC is package-nerd significant because it packages a full hardware-description-language compiler, simulator, standard library, and documentation set into ordinary developer package managers. That is much rarer than another linter or HTTP client.
It also represents a long-lived proprietary/research toolchain becoming open infrastructure. For maintainers, the interesting parts are large binary/source builds, generated documentation, and keeping a specialized compiler available across general-purpose package ecosystems.
セキュリティ状態
narrow executable package without higher-risk signals.
リスク グリーン · 信頼度 低 · appliance
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
bluetcl | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
bsc | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
インストールメタデータ
| パッケージキー | brew:bsc |
|---|---|
| バージョン | 2026.01 |
| パッケージマネージャ | Homebrew |
| ホームページ | https://github.com/B-Lang-org/bsc |
| リポジトリ | https://github.com/B-Lang-org/bsc |
| Bottle | 未記録 |
| サービス | 宣言なし |
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
bsc
nix profile install nixpkgs#bscbsc
sudo port install bscソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.