Alternatives and similar repositories for anubis

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

• masc-ucsc / cmpe220fall16

  View on GitHub
  Public repository of the UCSC CMPE220 class project
  ☆10Oct 8, 2017Updated 8 years ago
• masc-ucsc / fluid

  View on GitHub
  Fluid Pipelines
  ☆11May 4, 2018Updated 7 years ago
• stdgregwar / elve

  View on GitHub
  ELVE : ELVE Logic Visualization Engine
  ☆11Jul 2, 2017Updated 8 years ago
• jinwookjungs / datc_robust_design_flow

  View on GitHub
  DATC Robust Design Flow.
  ☆36Jan 21, 2020Updated 6 years ago
• EDAPack / edapack

  View on GitHub
  Provides a packaged collection of open source EDA tools
  ☆12Apr 14, 2019Updated 6 years ago
• CTSRD-CHERI / RVBS

  View on GitHub
  RISC-V BSV Specification
  ☆23Jan 18, 2020Updated 6 years ago
• fslivovsky / qute

  View on GitHub
  Qute: a dependency learning QBF solver.
  ☆14Dec 19, 2025Updated last month
• xprova / netlist-graph

  View on GitHub
  Java library for parsing and manipulating graph representations of gate-level Verilog netlists
  ☆15Jan 9, 2017Updated 9 years ago
• jinwookjungs / open_design_flow

  View on GitHub
  OpenDesign Flow Database
  ☆17Oct 31, 2018Updated 7 years ago
• StanfordAHA / lassen

  View on GitHub
  The PE for the second generation CGRA (garnet).
  ☆18Apr 25, 2025Updated 9 months ago
• ycunxi / FLowGen-CNNs-DAC18

  View on GitHub
  ☆16May 11, 2018Updated 7 years ago
• rsnikhil / Bluespec_BSV_Formal_Semantics

  View on GitHub
  Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document
  ☆18Jul 17, 2016Updated 9 years ago
• Kuree / cgra_pnr

  View on GitHub
  Fast PnR toolchain for CGRA
  ☆18Jul 26, 2024Updated last year
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• Daikon-Sun / Routing-Visualization

  View on GitHub
  Routing Visualization for Physical Design
  ☆20Dec 24, 2018Updated 7 years ago
• Entropy-xcy / sns

  View on GitHub
  ☆20Oct 27, 2022Updated 3 years ago
• Nic30 / hwtHls

  View on GitHub
  LLVM based HLS library for HWToolkit (hardware devel. toolkit)
  ☆27Jan 21, 2026Updated 3 weeks ago
• foshardware / lsc

  View on GitHub
  Libre Silicon Compiler
  ☆22Apr 13, 2021Updated 4 years ago
• ymanerka / rtlcheck

  View on GitHub
  RTLCheck
  ☆25Oct 9, 2018Updated 7 years ago
• eschkufz / cascade

  View on GitHub
  A Just-In-Time Compiler for Verilog from VMware Research
  ☆24Dec 14, 2020Updated 5 years ago
• jamesbornholt / ocelot

  View on GitHub
  A synthesis-enabled solver for relational logic
  ☆29Apr 30, 2018Updated 7 years ago
• KastnerRG / infinitam_fpga

  View on GitHub
  InfiniTAM on FPGA
  ☆26Jul 11, 2019Updated 6 years ago
• PrincetonUniversity / IMDb-Archive

  View on GitHub
  ILA Model Database
  ☆24Sep 27, 2020Updated 5 years ago
• CakeML / hardware

  View on GitHub
  Verilog development and verification project for HOL4
  ☆28Apr 25, 2025Updated 9 months ago
• srohit0 / mida

  View on GitHub
  Selected problems and their solutions from the book on "Machine Intelligence in Design Automation"
  ☆27Dec 9, 2018Updated 7 years ago
• jpsety / verilog_benchmark_circuits

  View on GitHub
  EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog
  ☆31Jan 17, 2020Updated 6 years ago
• jinwookjungs / lefdef_util

  View on GitHub
  A LEF/DEF Utility.
  ☆33Aug 15, 2019Updated 6 years ago
• RsynTeam / rsyn-x

  View on GitHub
  Rsyn – An Extensible Physical Synthesis Framework
  ☆137Jul 20, 2024Updated last year
• masc-ucsc / livehd

  View on GitHub
  Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
  ☆232Feb 6, 2026Updated last week
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• mit-emze / raella

  View on GitHub
  ☆10Sep 7, 2023Updated 2 years ago
• phanrahan / mantle

  View on GitHub
  mantle library
  ☆44Dec 20, 2022Updated 3 years ago
• aolofsson / POSH

  View on GitHub
  ☆44Jan 26, 2020Updated 6 years ago
• iscar-ucm / xdevs

  View on GitHub
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆14Nov 14, 2025Updated 2 months ago
• TexTools / xivModdingFramework

  View on GitHub
  ☆10Feb 3, 2026Updated last week
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• tzanis-anevlavis / cis2m

  View on GitHub
  Controlled Invariant Sets in Two Moves
  ☆14Dec 21, 2021Updated 4 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago