Alternatives and similar repositories for Documentation

Users that are interested in Documentation are comparing it to the libraries listed below

• B-Lang-org / bdw

  View on GitHub
  BSC Development Workstation (BDW)
  ☆32Nov 9, 2025Updated 3 months ago
• esa-tu-darmstadt / BSVTools

  View on GitHub
  ☆18Jan 15, 2026Updated 3 weeks ago
• oxidecomputer / cobalt

  View on GitHub
  A collection of common Bluespec interfaces/modules.
  ☆103Apr 19, 2024Updated last year
• no2fpga / no2misc

  View on GitHub
  Misc utility FPGA cores
  ☆12Mar 21, 2023Updated 2 years ago
• rsnikhil / ICFP2020_Bluespec_Tutorial

  View on GitHub
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆77Nov 24, 2022Updated 3 years ago
• sangwoojun / ulx3s_bsv

  View on GitHub
  Bluespec environment for working with the ulx3s board and its lattice ecp5 fpga
  ☆15Mar 9, 2025Updated 11 months ago
• CTSRD-CHERI / bluecheck

  View on GitHub
  A generic test bench written in Bluespec
  ☆57Dec 15, 2020Updated 5 years ago
• B-Lang-org / bsc

  View on GitHub
  Bluespec Compiler (BSC)
  ☆1,077Jan 28, 2026Updated 2 weeks ago
• infinityworks / music

  View on GitHub
  A REST api demo project that generates sequence diagrams from tests
  ☆15Jun 13, 2019Updated 6 years ago
• Etaphase / FastSigmoids.jl

  View on GitHub
  Sigmoid Numbers backed by IEEE Floats
  ☆17Jul 8, 2017Updated 8 years ago
• rob-ng15 / PAWS

  View on GitHub
  PLEASE MOVE TO PAWSv2
  ☆16Feb 2, 2022Updated 4 years ago
• cornell-brg / pymtl-tut-hls

  View on GitHub
  Tutorial for integrating PyMTL and Vivado HLS
  ☆19Apr 17, 2016Updated 9 years ago
• epilys / vfsstat.rs

  View on GitHub
  Example sqlite3 Dynamic Loadable Extension in Rust - vfs and vtab modules - port of vfsstat.c
  ☆35Nov 26, 2024Updated last year
• BSVLang / Main

  View on GitHub
  Main page
  ☆129Feb 12, 2020Updated 6 years ago
• ShepardSiegel / ocpi

  View on GitHub
  Semi-private RTL development upstream of OpenCPI - this is *not* the OpenCPI repo!
  ☆25Oct 19, 2016Updated 9 years ago
• SZU-AdvTech-2022 / 376-HyGCN-A-GCN-Accelerator-with-Hybrid-Architecture

  View on GitHub
  ☆11Mar 14, 2023Updated 2 years ago
• kalhong / zsim-ramulator

  View on GitHub
  ☆13Jan 8, 2020Updated 6 years ago
• zhemao / chisel-float

  View on GitHub
  Floating point modules for CHISEL
  ☆32Nov 2, 2014Updated 11 years ago
• Wikidata / WikibaseImport

  View on GitHub
  Import entities from another Wikibase instance (e.g. Wikidata)
  ☆13May 21, 2023Updated 2 years ago
• dehesselle / mibap

  View on GitHub
  build and package Inkscape on macOS
  ☆10Dec 11, 2025Updated 2 months ago
• themathgeek13 / systolic-array-sorting

  View on GitHub
  Implementation of a Systolic Array based sorting engine on an FPGA using Verilog
  ☆11May 11, 2017Updated 8 years ago
• acoullandreau / apple_music_dashboard

  View on GitHub
  Dashboard for visualization of personal Apple Music service data
  ☆10Mar 8, 2023Updated 2 years ago
• Devronium / ConceptApplicationServer

  View on GitHub
  Concept Application Server
  ☆12Jan 28, 2026Updated 2 weeks ago
• jeffreycassidy / BlueLink

  View on GitHub
  Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)
  ☆11May 25, 2016Updated 9 years ago
• matthiasschweikart / HDL-FSM-Editor

  View on GitHub
  A tool for modeling FSMs by VHDL or Verilog
  ☆11Updated this week
• socrocket / core

  View on GitHub
  SoCRocket - Core Repository
  ☆38Mar 6, 2017Updated 8 years ago
• bluespec / Flute

  View on GitHub
  RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
  ☆376Oct 19, 2023Updated 2 years ago
• tmeissner / formal_hw_verification

  View on GitHub
  Trying to verify Verilog/VHDL designs with formal methods and tools
  ☆43Mar 7, 2024Updated last year
• tclem / twirp-haskell

  View on GitHub
  ☆11Jan 6, 2023Updated 3 years ago
• lastmjs / graphql-icp

  View on GitHub
  ☆11Jan 7, 2023Updated 3 years ago
• juergh / ret2usr

  View on GitHub
  Sample code for ret2usr (and ret2dir) kernel attacks
  ☆10Nov 23, 2016Updated 9 years ago
• Xandaros / abnf

  View on GitHub
  ☆14Jul 4, 2022Updated 3 years ago
• easysoc / layered-firrtl

  View on GitHub
  This repository is outdated and the related functionality has been migrated to https://github.com/easysoc/easysoc-firrtl
  ☆11Nov 3, 2021Updated 4 years ago
• textmate / dialog

  View on GitHub
  TextMate dialog/UI support (from CLI)
  ☆26Apr 16, 2021Updated 4 years ago
• milahu / nur-packages

  View on GitHub
  my nix packages
  ☆10Feb 3, 2026Updated last week
• janhohenheim / slowloris-rs

  View on GitHub
  The slow loris attack, now implemented in Rust!
  ☆12May 9, 2022Updated 3 years ago
• chm-diederichs / sha256-wasm

  View on GitHub
  SHA256 implemented in WASM
  ☆13Jun 2, 2023Updated 2 years ago
• jay16udani / ECE745_LC3_Verification

  View on GitHub
  North Carolina State University: ECE 745 : Project: LC3 Microcontroller Functional Verification using SystemVerilog
  ☆11Jun 5, 2017Updated 8 years ago
• rowtype-yoga / purescript-yoga-om

  View on GitHub
  ☆13Feb 5, 2026Updated last week