| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| TheBloodthirster/BUAA_Course_Sharing | MathematicaJavaMATLAB | 1.1k | +6 | 245 | +3 |
| B-Lang-org/bsc | HaskellBluespecEmacs Lisp | 817 | 0 | 140 | 0 |
| WangXuan95/BSV_Tutorial_cn | BluespecShellAssembly | 392 | 0 | 35 | 0 |
| bluespec/mcu-release | BluespecVerilogMakefile | 2 | 0 | 1 | 0 |
| bluespec/RISCV_Debug_Module | BluespecMakefile | 5 | 0 | 3 | 0 |
| cometbft/cometbft | GoTeXTLA | 365 | 0 | 169 | 0 |
| informalsystems/quint-sandbox | BluespecRustGo | 3 | 0 | 0 | 0 |
| smart-on-fhir/cumulus-library | BluespecOther | 0 | 0 | 0 | 0 |