foshardware/lsc external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

foshardware/lsc

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/foshardware/lsc)

Close

foshardware / lscView on GitHubMore

• External links
• Readme badge

Libre Silicon Compiler

☆22Apr 13, 2021Updated 4 years ago

Alternatives and similar repositories for lsc

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

• chipforge / PearlRiver

  View on GitHub
  1st Testwafer for LibreSilicon
  ☆15May 24, 2019Updated 6 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
• jinwookjungs / lefdef_util

  View on GitHub
  A LEF/DEF Utility.
  ☆33Aug 15, 2019Updated 6 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• efabless / ravenna

  View on GitHub
  32-bit RISC-V microcontroller
  ☆12Sep 11, 2021Updated 4 years ago
• eytans / easter-egg

  View on GitHub
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Mar 27, 2025Updated 11 months ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• masc-ucsc / anubis

  View on GitHub
  The ANUBIS benchmark suite for Incremental Synthesis
  ☆12Dec 15, 2020Updated 5 years ago
• ssoelvsten / buddy

  View on GitHub
  BuDDy BDD package (with CMake support)
  ☆15May 7, 2024Updated last year
• ucb-bar / fixedpoint

  View on GitHub
  Chisel Fixed-Point Arithmetic Library
  ☆18Dec 15, 2025Updated 2 months ago
• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• jtanguy / hmacaroons

  View on GitHub
  Pure haskell implementation of macaroons
  ☆14Jan 26, 2021Updated 5 years ago
• masc-ucsc / fluid

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

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

  View on GitHub
  ☆15Dec 2, 2021Updated 4 years ago
• Deepak42074 / vsdsram_sky130

  View on GitHub
  Design of 4KB(1024*32) SRAM with operating voltage 1.8v and access time < 2.5ns
  ☆14Dec 8, 2020Updated 5 years ago
• shalan / Chameleon_SoC

  View on GitHub
  AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...
  ☆13Mar 28, 2025Updated 11 months ago
• CTSRD-CHERI / RVBS

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

  View on GitHub
  Symbolic Geometric Algebra with E-Graphs
  ☆19Oct 11, 2023Updated 2 years ago
• chipforge / StdCellLib

  View on GitHub
  Copyleftist's Standard Cell Library
  ☆101May 2, 2024Updated last year
• kunalg123 / flipflop_design

  View on GitHub
  This project has files needed to design and characterise flipflop
  ☆21Jun 3, 2019Updated 6 years ago
• StefanSchippers / xschem_sky130

  View on GitHub
  XSCHEM symbol libraries for the Google-Skywater 130nm process design kit.
  ☆70Nov 26, 2025Updated 3 months ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• google / globalfoundries-pdk-ip-gf180mcu_fd_ip_sram

  View on GitHub
  SRAM macros created for the GF180MCU provided by GlobalFoundries.
  ☆19Apr 10, 2023Updated 2 years ago
• drom / icedrom

  View on GitHub
  FPGA config visualized. demo:
  ☆20Mar 17, 2020Updated 5 years ago
• 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
• Kuree / cgra_pnr

  View on GitHub
  Fast PnR toolchain for CGRA
  ☆18Jul 26, 2024Updated last year
• stevehoover / makerchip_examples

  View on GitHub
  ☆19Dec 22, 2025Updated 2 months 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).
  ☆18Feb 22, 2026Updated last week
• samlittlewood / caravel_carrier

  View on GitHub
  Carrier for efabless Caravel chip used for Google/Skywater 130nm shuttle program.
  ☆18Sep 24, 2021Updated 4 years ago
• serokell / time-warp

  View on GitHub
  Distributed systems execution emulation
  ☆18Nov 28, 2018Updated 7 years ago
• ckchengucsd / SMT-based-STDCELL-Layout-Generator

  View on GitHub
  SMT-based-STDCELL-Layout-Generator
  ☆18Sep 30, 2021Updated 4 years ago
• nkkav / yosys-examples

  View on GitHub
  Verilog projects for simulation and logic synthesis (Icarus Verilog, YOSYS)
  ☆22Apr 28, 2021Updated 4 years ago
• ieee-ceda-datc / datc-rdf-calibrations

  View on GitHub
  ☆19Oct 28, 2024Updated last year
• ultraembedded / cortex_m0_wrapper

  View on GitHub
  Cortex-M0 DesignStart Wrapper
  ☆22Aug 11, 2019Updated 6 years ago
• mattvenn / logo-to-gds2

  View on GitHub
  ☆18Dec 15, 2022Updated 3 years ago
• isovector / prospect

  View on GitHub
  static analysis of free monads
  ☆24Jul 10, 2018Updated 7 years ago
• gatelabdavis / RANE

  View on GitHub
  ☆23Mar 13, 2023Updated 2 years ago