7
8
9
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Bluespec Topics
Latest Mentions
Latest mentioned Bluespec repos
| Stars | Project |
|---|---|
| 69 | quint-llm-kit |
| 4 | quint-sandbox |
| 12 | blue-crc |
| 12 | Flute |
| 34 | Toooba |
| 51 | beri |
| 95 | cobalt |
Latest Discoveries
Latest discovered Bluespec repos
| Stars | Project |
|---|---|
| 69 | quint-llm-kit |
| 4 | quint-sandbox |
| 12 | blue-crc |
| 34 | Toooba |
| 12 | Flute |
| 51 | beri |
| 95 | cobalt |
Recently updated posts
-
Reliable Software in the LLM Era
-
Quint LLM Kit for writing and using formal specifications
-
Show HN: A High-Performance CRC Hardware Generator in Bluespec SystemVerilog
-
Blue-CRC: a high-performance CRC hardware generator implemented in Bluespec SystemVerilog
-
Bluespec hardware design language and simulation tools