Wangxiz

Wir müssen wissen. Wir werden wissen.

Nanjing UniverisityNanjing

Pinned Repositories

awesome
:sunglasses: Curated list of awesome lists
00
Ensemble8
Language:Java11
ivideo
一个可以观看国内主流视频平台所有视频的客户端（Mac、Windows、Linux） A client that can watch video of domestic(China) mainstream video platform
Language:JavaScript10
machine-learning-papers
周志华《机器学习》参考文献
1 2 01
phasar
A LLVM-based static analysis framework.
Language:C++00
pure-bash-bible
📖 A collection of pure bash alternatives to external processes.
Language:Shell00
symbolic-execution-bib
A bibliography of papers related to symbolic execution
00
Tai-e
An easy-to-learn/use static analysis framework for Java
Language:Java00
target-code
Language:C1 1 00
the-art-of-command-line
Master the command line, in one page
0 1 00

Wangxiz's Repositories

Wangxiz/English-level-up-tips-for-Chinese
可能是让你受益匪浅的英语进阶指南
10
Wangxiz/ivideo
一个可以观看国内主流视频平台所有视频的客户端（Mac、Windows、Linux） A client that can watch video of domestic(China) mainstream video platform
Language:JavaScript10
Wangxiz/target-code
Language:C1 1 00
Wangxiz/tinz-library
Library Management Software using JavaFX
Language:Java1 2 0
Wangxiz/awesome
:sunglasses: Curated list of awesome lists
00
Wangxiz/phasar
A LLVM-based static analysis framework.
Language:C++00
Wangxiz/pure-bash-bible
📖 A collection of pure bash alternatives to external processes.
Language:Shell00
Wangxiz/Tai-e
An easy-to-learn/use static analysis framework for Java
Language:Java00
Wangxiz/the-art-of-command-line
Master the command line, in one page
0 1 00
Wangxiz/BaiduPCS-Go
百度网盘客户端 - Go语言编写
Language:Go1 0
Wangxiz/code2inv
Code2Inv: Learning Loop Invariants for Program Verification
Language:Roff1 0
Wangxiz/codeql-zero-to-hero
CodeQL zero to hero blog post series challenges
Language:Python0 0
Wangxiz/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
Wangxiz/electron-ssr-backup
electron-ssr原作者删除了这个伟大的项目，故备份了下来，不继续开发,且用且珍惜
Wangxiz/fuck-login
模拟登录一些知名的网站，为了方便爬取需要登录的网站
Language:Python1 0
Wangxiz/grok-1
Grok open release
Wangxiz/heros
IFDS/IDE Solver for Soot
Language:Java2 0
Wangxiz/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Language:Ruby1 0
Wangxiz/infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml1 0
Wangxiz/LinearArbitrary-SeaHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Wangxiz/nju-thesis-template
南大本科(硕士/博士)毕业论文LaTeX模板
Language:TeX2 0
Wangxiz/seahorn
SeaHorn Verification Framework
Wangxiz/smack
SMACK Software Verifier and Verification Toolchain
Language:C1 0
Wangxiz/sparrow
The Sparrow Static Analyzer
Wangxiz/SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
Language:C1 0
Wangxiz/TIP
Static program analysis for TIP
Language:Scala1 0
Wangxiz/tool_lists
Links to tools by subject
1 0
Wangxiz/trpl-zh-cn
Rust 程序设计语言（第二版 & 2018 edition）
Language:Markdown1 0
Wangxiz/v2ray
最好用的 V2Ray 一键安装脚本 & 管理脚本
Language:Shell1 0
Wangxiz/WebSiteUseful
🍅 翻墙！科学上网，免费ss帐号分享、ssr订阅源，免费VPN下载，获取及使用教程请看：https://github.com/loremwalker/fq-book
Language:Java