Skip to content
@trustworthy-systems-iitk

Trustworthy Systems Lab @ IIT Kanpur

This is the GitHub organization for the Trustworthy Systems Lab at the Indian Institute of Technology, Kanpur

Popular repositories Loading

  1. bsim bsim Public

    bsim is an algorithmic inference tool that processes gate-level netlists.

    Verilog 5 1

  2. libprop libprop Public

    HyperLTL property evaluation library and parser

    C++ 1 1

  3. trustworthy-systems-iitk.github.io trustworthy-systems-iitk.github.io Public

    HTML

Repositories

Showing 3 of 3 repositories
  • libprop Public

    HyperLTL property evaluation library and parser

    trustworthy-systems-iitk/libprop’s past year of commit activity
    C++ 1 BSD-3-Clause 1 5 0 Updated Oct 11, 2020
  • trustworthy-systems-iitk.github.io Public
    trustworthy-systems-iitk/trustworthy-systems-iitk.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jul 7, 2020
  • bsim Public

    bsim is an algorithmic inference tool that processes gate-level netlists.

    trustworthy-systems-iitk/bsim’s past year of commit activity
    Verilog 5 1 0 0 Updated Jun 23, 2020

Top languages

Loading…

Most used topics

Loading…