Skip to content

@lsils lsils

Change the repository type filter

All

    Repositories list

    18 repositories

    • mockturtle

      Public
      C++ logic network library
      C++
      •
      MIT License
      •166•289•13•1•Updated Apr 28, 2026Apr 28, 2026

    • benchmarks

      Public
      EPFL logic synthesis benchmarks
      Verilog
      •
      MIT License
      •45•245•1•0•Updated Mar 3, 2026Mar 3, 2026

    • kitty

      Public
      C++ truth table library
      algorithmslogic-synthesisboolean-function
      algorithmslogic-synthesisboolean-function
      C++
      •
      MIT License
      •78•66•2•1•Updated Jul 30, 2025Jul 30, 2025

    • bill

      Public
      C++ header-only reasoning library
      sat-solver
      sat-solver
      C
      •
      MIT License
      •7•17•0•2•Updated Jul 11, 2024Jul 11, 2024

    • alice

      Public
      C++ command shell library
      C++
      •
      MIT License
      •11•1•0•0•Updated May 7, 2024May 7, 2024

    • lstools-showcase

      Public
      Showcase examples for EPFL logic synthesis libraries
      exampleslogic-synthesis
      exampleslogic-synthesis
      CSS
      •
      MIT License
      •32•205•0•1•Updated Apr 5, 2024Apr 5, 2024

    • abc-staticlib

      Public
      Changes needed to compile ABC as a static library and interface with mockturtle
      C
      •
      Other
      •745•2•0•0•Updated Mar 4, 2024Mar 4, 2024

    • benchmarks-mig

      Public
      Best MIG-mapped results of EPFL benchmarks
      Verilog
      •0•0•1•0•Updated Feb 27, 2024Feb 27, 2024

    • SCE-benchmarks

      Public
      Optimization results for superconducting electronic (SCE) circuits
      Verilog
      •
      MIT License
      •1•18•0•0•Updated Dec 5, 2023Dec 5, 2023

    • exorcism

      Public
      Stand-alone library for ABC's exorcism
      C++
      •1•0•0•1•Updated Oct 4, 2023Oct 4, 2023

    • percy

      Public
      C++ header-only exact synthesis library
      C++
      •
      MIT License
      •8•18•0•0•Updated Jan 18, 2023Jan 18, 2023

    • resyn-benchmarks

      Public
      A collection of benchmarks for the generalized resynthesis problem
      MIT License
      •2•2•0•0•Updated Jun 22, 2022Jun 22, 2022

    • ASPDAC2021_exp

      Public
      Verilog
      •1•0•1•0•Updated Nov 6, 2021Nov 6, 2021

    • sim-LSV_exp

      Public
      Benchmarks and pattern files used in the simulation-guided Boolean resubstitution paper
      Max
      •0•4•0•0•Updated Apr 16, 2021Apr 16, 2021

    • date2020_experiments

      Public
      Coq
      •2•6•1•0•Updated Apr 13, 2020Apr 13, 2020

    • experiments-dac19-flow

      Public
      Experiments for DAC'19 "Scalable Generic Logic Synthesis: One Approach to Rule Them All"
      Python
      •0•3•0•0•Updated Apr 16, 2019Apr 16, 2019

    • benchmarks-date2019-permutations

      Public
      Experiments for "Compiling Permutations for Superconducting QPUs"
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 29, 2018Nov 29, 2018

    • mockturtle-bench

      Public
      Micro benchmarking for mockturtle
      CMake
      •
      MIT License
      •0•0•0•0•Updated Aug 2, 2018Aug 2, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.