Skip to content

@cambridgehackers cambridgehackers

Change the repository type filter

All

    Repositories list

    116 repositories

    • verilator

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

    • connectal

      Public
      Connectal is a framework for software-driven hardware development.
      verilogfpgazynqhardwarebluespec
      Bluespec
      •
      MIT License
      •46•161•28•0•Updated Oct 16, 2023Oct 16, 2023

    • open-src-cvc

      Public
      Mirror of tachyon-da cvc Verilog simulator
      C
      •22•37•4•0•Updated Jul 16, 2023Jul 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
      •13•34•2•0•Updated May 25, 2022May 25, 2022

    • fpgamake

      Public
      Generates Makefiles to synthesize, place, and route verilog using Vivado
      Tcl
      •24•92•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.5k•2•0•0•Updated Oct 24, 2021Oct 24, 2021

    • bsvtokami

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

    • llvm-translate

      Public
      llvm runtime interpreter/translator
      Python
      •2•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.7k•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
      •36•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
      •20•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
      •146•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
      •11•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
      •65•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
      •195•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
      •751•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.
      12•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
      •818•1•0•0•Updated Oct 7, 2016Oct 7, 2016