Skip to content
@lsils

lsils

Pinned Loading

  1. mockturtle mockturtle Public

    C++ logic network library

    C++ 211 139

  2. lstools-showcase lstools-showcase Public

    Showcase examples for EPFL logic synthesis libraries

    CSS 182 31

  3. benchmarks benchmarks Public

    EPFL logic synthesis benchmarks

    Verilog 166 36

  4. bill bill Public

    C++ header-only reasoning library

    C 11 6

  5. percy percy Public

    Forked from whaaswijk/percy

    C++ header-only exact synthesis library

    C++ 15 4

  6. SCE-benchmarks SCE-benchmarks Public

    Optimization results for superconducting electronic (SCE) circuits

    Verilog 11 1

Repositories

Showing 10 of 17 repositories
  • mockturtle Public

    C++ logic network library

    lsils/mockturtle’s past year of commit activity
    C++ 211 MIT 139 8 2 Updated Oct 19, 2024
  • benchmarks Public

    EPFL logic synthesis benchmarks

    lsils/benchmarks’s past year of commit activity
    Verilog 166 MIT 36 1 0 Updated Aug 26, 2024
  • bill Public

    C++ header-only reasoning library

    lsils/bill’s past year of commit activity
    C 11 MIT 6 0 2 Updated Jul 11, 2024
  • alice Public Forked from msoeken/alice

    C++ command shell library

    lsils/alice’s past year of commit activity
    C++ 1 MIT 11 0 0 Updated May 7, 2024
  • lstools-showcase Public

    Showcase examples for EPFL logic synthesis libraries

    lsils/lstools-showcase’s past year of commit activity
    CSS 182 MIT 31 0 0 Updated Apr 5, 2024
  • abc-staticlib Public Forked from berkeley-abc/abc

    Changes needed to compile ABC as a static library and interface with mockturtle

    lsils/abc-staticlib’s past year of commit activity
    C 2 601 0 0 Updated Mar 4, 2024
  • benchmarks-mig Public

    Best MIG-mapped results of EPFL benchmarks

    lsils/benchmarks-mig’s past year of commit activity
    Verilog 0 0 0 0 Updated Feb 27, 2024
  • SCE-benchmarks Public

    Optimization results for superconducting electronic (SCE) circuits

    lsils/SCE-benchmarks’s past year of commit activity
    Verilog 11 MIT 1 0 0 Updated Dec 5, 2023
  • exorcism Public

    Stand-alone library for ABC's exorcism

    lsils/exorcism’s past year of commit activity
    C++ 0 1 0 1 Updated Oct 4, 2023
  • percy Public Forked from whaaswijk/percy

    C++ header-only exact synthesis library

    lsils/percy’s past year of commit activity
    C++ 15 MIT 8 0 0 Updated Jan 18, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…