Repositories list

• mockturtle

  Public

  lsils/mockturtle’s past year of commit activity
  C++ logic network library

  C++

  •

  MIT License

  •179179 forks in lsils/mockturtle•315315 stars in lsils/mockturtle•99 issues in lsils/mockturtle•00 pull requests in lsils/mockturtle•Updated Oct 27, 2026Oct 27, 2026

• benchmarks

  Public
  EPFL logic synthesis benchmarks

  Verilog

  •

  MIT License

  •5151 forks in lsils/benchmarks•273273 stars in lsils/benchmarks•11 issue in lsils/benchmarks•55 pull requests in lsils/benchmarks•Updated Aug 13, 2026Aug 13, 2026

• kitty

  Public

  lsils/kitty’s past year of commit activity
  C++ truth table library

  algorithmslogic-synthesisboolean-function

  algorithmslogic-synthesisboolean-function

  C++

  •

  MIT License

  •7979 forks in lsils/kitty•6969 stars in lsils/kitty•22 issues in lsils/kitty•11 pull request in lsils/kitty•Updated Jul 30, 2025Jul 30, 2025

• bill

  Public

  lsils/bill’s past year of commit activity
  C++ header-only reasoning library

  sat-solver

  sat-solver

  C

  •

  MIT License

  •77 forks in lsils/bill•1919 stars in lsils/bill•00 issues in lsils/bill•22 pull requests in lsils/bill•Updated Jul 11, 2024Jul 11, 2024

• alice

  Public

  lsils/alice’s past year of commit activity
  C++ command shell library

  C++

  •

  MIT License

  •1212 forks in lsils/alice•11 star in lsils/alice•00 issues in lsils/alice•00 pull requests in lsils/alice•Updated May 7, 2024May 7, 2024

• lstools-showcase

  Public
  Showcase examples for EPFL logic synthesis libraries

  exampleslogic-synthesis

  exampleslogic-synthesis

  CSS

  •

  MIT License

  •3333 forks in lsils/lstools-showcase•213213 stars in lsils/lstools-showcase•00 issues in lsils/lstools-showcase•11 pull request in lsils/lstools-showcase•Updated Apr 5, 2024Apr 5, 2024

• abc-staticlib

  Public

  lsils/abc-staticlib’s past year of commit activity
  Changes needed to compile ABC as a static library and interface with mockturtle

  C

  •

  Other

  •857857 forks in lsils/abc-staticlib•22 stars in lsils/abc-staticlib•00 issues in lsils/abc-staticlib•00 pull requests in lsils/abc-staticlib•Updated Mar 4, 2024Mar 4, 2024

• benchmarks-mig

  Public
  Best MIG-mapped results of EPFL benchmarks

  Verilog

  •00 forks in lsils/benchmarks-mig•00 stars in lsils/benchmarks-mig•11 issue in lsils/benchmarks-mig•00 pull requests in lsils/benchmarks-mig•Updated Feb 27, 2024Feb 27, 2024

• SCE-benchmarks

  Public

  lsils/SCE-benchmarks’s past year of commit activity
  Optimization results for superconducting electronic (SCE) circuits

  Verilog

  •

  MIT License

  •11 fork in lsils/SCE-benchmarks•1919 stars in lsils/SCE-benchmarks•00 issues in lsils/SCE-benchmarks•00 pull requests in lsils/SCE-benchmarks•Updated Dec 5, 2023Dec 5, 2023

• exorcism

  Public
  Stand-alone library for ABC's exorcism

  C++

  •11 fork in lsils/exorcism•00 stars in lsils/exorcism•00 issues in lsils/exorcism•11 pull request in lsils/exorcism•Updated Oct 4, 2023Oct 4, 2023

• percy

  Public
  C++ header-only exact synthesis library

  C++

  •

  MIT License

  •88 forks in lsils/percy•1919 stars in lsils/percy•00 issues in lsils/percy•00 pull requests in lsils/percy•Updated Jan 18, 2023Jan 18, 2023

• resyn-benchmarks

  Public

  lsils/resyn-benchmarks’s past year of commit activity
  A collection of benchmarks for the generalized resynthesis problem

  MIT License

  •22 forks in lsils/resyn-benchmarks•22 stars in lsils/resyn-benchmarks•00 issues in lsils/resyn-benchmarks•00 pull requests in lsils/resyn-benchmarks•Updated Jun 22, 2022Jun 22, 2022

• ASPDAC2021_exp

  Public
  Verilog

  •11 fork in lsils/ASPDAC2021_exp•00 stars in lsils/ASPDAC2021_exp•11 issue in lsils/ASPDAC2021_exp•00 pull requests in lsils/ASPDAC2021_exp•Updated Nov 6, 2021Nov 6, 2021

• sim-LSV_exp

  Public
  Benchmarks and pattern files used in the simulation-guided Boolean resubstitution paper

  Max

  •11 fork in lsils/sim-LSV_exp•55 stars in lsils/sim-LSV_exp•00 issues in lsils/sim-LSV_exp•00 pull requests in lsils/sim-LSV_exp•Updated Apr 16, 2021Apr 16, 2021

• date2020_experiments

  Public
  Coq

  •22 forks in lsils/date2020_experiments•66 stars in lsils/date2020_experiments•11 issue in lsils/date2020_experiments•00 pull requests in lsils/date2020_experiments•Updated Apr 13, 2020Apr 13, 2020

• experiments-dac19-flow

  Public

  lsils/experiments-dac19-flow’s past year of commit activity
  Experiments for DAC'19 "Scalable Generic Logic Synthesis: One Approach to Rule Them All"

  Python

  •00 forks in lsils/experiments-dac19-flow•33 stars in lsils/experiments-dac19-flow•00 issues in lsils/experiments-dac19-flow•00 pull requests in lsils/experiments-dac19-flow•Updated Apr 16, 2019Apr 16, 2019

• benchmarks-date2019-permutations

  Public
  Experiments for "Compiling Permutations for Superconducting QPUs"

  Python

  •

  MIT License

  •00 forks in lsils/benchmarks-date2019-permutations•00 stars in lsils/benchmarks-date2019-permutations•00 issues in lsils/benchmarks-date2019-permutations•00 pull requests in lsils/benchmarks-date2019-permutations•Updated Nov 29, 2018Nov 29, 2018

• mockturtle-bench

  Public

  lsils/mockturtle-bench’s past year of commit activity
  Micro benchmarking for mockturtle

  CMake

  •

  MIT License

  •00 forks in lsils/mockturtle-bench•00 stars in lsils/mockturtle-bench•00 issues in lsils/mockturtle-bench•00 pull requests in lsils/mockturtle-bench•Updated Aug 2, 2018Aug 2, 2018