Skip to content

@cambridgehackers cambridgehackers

Change the repository type filter

All

    Repositories list

    116 repositories

    • open-src-cvc

      Public
      Mirror of tachyon-da cvc Verilog simulator
      C
      •27•55•4•1•Updated Mar 16, 2026Mar 16, 2026

    • verilator

      Public
      Verilator open-source SystemVerilog simulator and lint system
      C++
      •
      GNU Lesser General Public License v3.0
      •880•1•0•0•Updated Sep 11, 2024Sep 11, 2024

    • connectal

      Public
      Connectal is a framework for software-driven hardware development.
      fpgazynqhardware
      fpgazynqhardwareverilogbluespec
      Bluespec
      •
      MIT License
      •49•180•28•1•Updated Oct 16, 2023Oct 16, 2023

    • atomicc

      Public
      Generate Verilog from Atomicc IR files (which are generated from llvm-translate)
      Shell
      •
      GNU General Public License v2.0
      •1•6•0•0•Updated Mar 9, 2023Mar 9, 2023

    • fpgajtag

      Public
      A simple jtag programming tool that has been verified on a variety of Xilinx Series7 platforms.
      C
      •14•37•2•0•Updated May 25, 2022May 25, 2022

    • fpgamake

      Public
      Generates Makefiles to synthesize, place, and route verilog using Vivado
      Tcl
      •23•101•2•0•Updated May 24, 2022May 24, 2022

    • buildcache

      Public
      Memoizes execution of build commands
      Python
      •
      MIT License
      •3•3•1•0•Updated May 24, 2022May 24, 2022

    • atomicc-examples

      Public
      SystemVerilog
      •
      MIT License
      •0•2•0•0•Updated Jan 14, 2022Jan 14, 2022

    • linux-xlnx

      Public
      The official Linux kernel from Xilinx
      C
      •
      Other
      •1.6k•2•0•0•Updated Oct 24, 2021Oct 24, 2021

    • bsvtokami

      Public
      Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.
      compilercoqbluespec
      compilercoqbluespecformal-verification
      Python
      •
      MIT License
      •3•11•0•0•Updated Oct 13, 2021Oct 13, 2021

    • llvm-translate

      Public
      llvm runtime interpreter/translator
      Python
      •3•1•0•0•Updated Dec 23, 2020Dec 23, 2020

    • clang

      Public
      Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
      C++
      •
      Other
      •1.6k•1•0•0•Updated Dec 14, 2020Dec 14, 2020

    • llvm

      Public
      Branch of llvm repository. Use branch release_34atomicc1
      LLVM
      •
      Other
      •2.1k•1•0•0•Updated Dec 11, 2020Dec 11, 2020

    • verilog-vcd-parser

      Public
      A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.
      C++
      •
      MIT License
      •39•0•0•0•Updated Nov 11, 2020Nov 11, 2020

    • verilog-rewrite

      Public
      A tool to rewrite xilinx synthesized netlists back into non-LUT form (to manually verify elaboration)
      C++
      •
      MIT License
      •0•1•0•0•Updated Oct 9, 2020Oct 9, 2020

    • XilinxUnisimLibrary

      Public
      Verilog
      •
      Apache License 2.0
      •27•0•0•0•Updated Jul 22, 2020Jul 22, 2020

    • verilator.jeremybennett

      Public
      A fork of the main Verilator project for development work.
      C++
      •
      GNU Lesser General Public License v3.0
      •5•0•0•0•Updated Jul 22, 2020Jul 22, 2020

    • bsc

      Public
      Bluespec Compiler (BSC)
      Haskell
      •
      Other
      •184•0•0•0•Updated Jun 8, 2020Jun 8, 2020

    • doc

      Public
      Repository for publishing non-jekyll documentation
      MIT License
      •0•0•0•0•Updated May 1, 2020May 1, 2020

    • bsc-contrib

      Public
      A place to share libraries and utilities that don't belong in the core bsc repo
      Bluespec
      •20•1•0•0•Updated Feb 22, 2020Feb 22, 2020

    • cudd

      Public
      CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •75•1•0•0•Updated Jul 17, 2019Jul 17, 2019

    • tlaplus

      Public
      TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
      Java
      •
      MIT License
      •264•0•0•0•Updated May 16, 2019May 16, 2019

    • dumpNet

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Feb 15, 2019Feb 15, 2019

    • cplusplus_draft

      Public
      C++ standards drafts
      TeX
      •813•0•0•0•Updated Aug 13, 2018Aug 13, 2018

    • pciescan

      Public
      Makefile
      •
      MIT License
      •0•0•1•0•Updated May 29, 2018May 29, 2018

    • consolable

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated May 17, 2018May 17, 2018

    • NuSMV

      Public
      Mirror of NuSMV 2.6.0 from http://nusmv.fbk.eu
      C
      •
      Other
      •0•0•0•0•Updated Feb 20, 2018Feb 20, 2018

    • xbsv

      Public
      connectal (formerly called xbsv) contains a utility to generate bit files for Xilinx Zynq devices from BSV programs.
      10•8•2•0•Updated Jul 26, 2017Jul 26, 2017

    • openocd

      Public
      packaging branch of openocd
      GNU General Public License v2.0
      •0•1•0•0•Updated Feb 10, 2017Feb 10, 2017

    • PYNQ

      Public
      Python Productivity for ZYNQ with Python board level designs
      Jupyter Notebook
      •860•1•0•0•Updated Oct 7, 2016Oct 7, 2016
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.