jubatusd

jubatusd's Stars

• soot-oss/soot

  Soot - A Java optimization framework

  Language:Java2.9k707

• rohanpadhye/JQF

  JQF + Zest: Coverage-guided semantic fuzzing for Java.

  Language:Java659111

• wcventure/FuzzingPaper

  Recent Fuzzing Paper

  2.4k361

• jhaddix/tbhm

  The Bug Hunters Methodology

  3.9k790

• shining1984/PL-Compiler-Resource

  程序语言与编译技术相关资料（持续更新中）

  2k259

• ruanyf/free-books

  互联网上的免费书籍

  14.9k2.6k

• dromara/hutool

  🍬A set of tools that keep Java sweet.

  Language:Java29k7.5k

• havrikov/text-processing-java-projects

  A collection of java applications that process structured text inputs.

  Language:Kotlin2

• ksluckow/awesome-symbolic-execution

  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

  1.3k136

• ryandougherty/Introduction-to-the-Theory-of-Computation-Solutions

  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).

  Language:TeX343141