Skip to content
Change the repository type filter

All

    Repositories list

    • VeriXmith

      Public
      A tool for cross-checking Verilog compilers
      Python
      GNU General Public License v3.0
      0300Updated Nov 6, 2024Nov 6, 2024
    • A visualized debugging framework to aid in understanding the Linux kernel.
      C
      Apache License 2.0
      23401Updated Sep 6, 2024Sep 6, 2024
    • MetaMut

      Public
      MetaMut is a mutation operator generator to facilitate compiler fuzzing.
      C++
      MIT License
      02100Updated Aug 11, 2024Aug 11, 2024
    • HTML
      0000Updated Sep 28, 2023Sep 28, 2023
    • JavaScript
      00010Updated Dec 9, 2022Dec 9, 2022
    • CSS
      0009Updated Dec 8, 2022Dec 8, 2022
    • Java
      Apache License 2.0
      1100Updated Dec 1, 2020Dec 1, 2020
    • Java
      1001Updated Oct 13, 2020Oct 13, 2020
    • provide dynamic library of RoadRecovery for testing
      C
      0000Updated Mar 9, 2020Mar 9, 2020
    • 0010Updated Oct 23, 2019Oct 23, 2019
    • 0000Updated Jul 7, 2019Jul 7, 2019
    • 0000Updated Apr 10, 2019Apr 10, 2019
    • I2EC

      Public
      03410Updated Mar 21, 2019Mar 21, 2019
    • Swordfish

      Public
      Docs and Codes for I2EC projects
      Java
      1000Updated Mar 18, 2019Mar 18, 2019
    • fyp2019

      Public
      0000Updated Mar 4, 2019Mar 4, 2019
    • Y

      Public
      0160Updated Jan 22, 2019Jan 22, 2019
    • apt-mesos

      Public
      A Mesos Framework which provides an easy way to build job environment and schedule tasks in a multi-node cluster, written in Go.
      Go
      1121Updated Dec 16, 2018Dec 16, 2018
    • icstex

      Public
      TeX
      0000Updated Jan 24, 2018Jan 24, 2018
    • dlkit

      Public
      MIT License
      1400Updated Jan 10, 2018Jan 10, 2018
    • nap-blog

      Public
      This blog is deprecated.
      HTML
      1100Updated Sep 4, 2017Sep 4, 2017
    • Artifacts for ICSME 2017
      CSS
      0000Updated Jul 25, 2017Jul 25, 2017
    • Java
      0000Updated Jul 22, 2017Jul 22, 2017
    • The controller of AimDroid
      Go
      1110Updated Jul 22, 2017Jul 22, 2017
    • Java
      Other
      0000Updated Jul 3, 2017Jul 3, 2017
    • nata

      Public
      Makefile
      0100Updated Jun 26, 2017Jun 26, 2017
    • xdroid

      Public
      Xdroid: Testing Android Apps with Dependency Injection
      Java
      MIT License
      1400Updated Jun 26, 2017Jun 26, 2017
    • C++
      Other
      0000Updated Jun 26, 2017Jun 26, 2017
    • MiniTrace over xposed Mashmallow
      C++
      Other
      1100Updated Jun 26, 2017Jun 26, 2017
    • Xposed modules
      Java
      1000Updated Jun 24, 2017Jun 24, 2017
    • nap-web

      Public
      JavaScript
      MIT License
      0000Updated Jun 23, 2017Jun 23, 2017