wangxiz Goto Github PK

address-app

Study case of JavaFX from [JavaFX 8 教程 （中文）](http://code.makery.ch/library/javafx-8-tutorial/zh-cn/)

awesome

:sunglasses: Curated list of awesome lists

baidupcs-go

百度网盘客户端 - Go语言编写

buttons-drag-and-drop

JavaFX Project

code2inv

Code2Inv: Learning Loop Invariants for Program Verification

codeql-zero-to-hero

CodeQL zero to hero blog post series challenges

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.

electron-ssr-backup

electron-ssr原作者删除了这个伟大的项目，故备份了下来，不继续开发,且用且珍惜

english-level-up-tips-for-chinese

可能是让你受益匪浅的英语进阶指南

ensemble8

fuck-login

模拟登录一些知名的网站，为了方便爬取需要登录的网站

grok-1

Grok open release

heros

IFDS/IDE Solver for Soot

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

ics2016

NJU ics2016 PA

infer

A static analyzer for Java, C, C++, and Objective-C

ivideo

一个可以观看国内主流视频平台所有视频的客户端（Mac、Windows、Linux） A client that can watch video of domestic(China) mainstream video platform

java-2017f-homework

jfoenixdemo

Demos of the project JFoenix.

library-assistant

Library Management Software using JavaFX

lineararbitrary-seahorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

machine-learning-papers

周志华《机器学习》参考文献

navigation-drawer

Making Navigation Drawer (Side Panel) in JavaFX

nju-thesis

南京大学学位论文XeLaTeX模板

nju-thesis-template

南大本科(硕士/博士)毕业论文LaTeX模板

phasar

A LLVM-based static analysis framework.

pure-bash-bible

📖 A collection of pure bash alternatives to external processes.

reading-list

Some books I read

seahorn

SeaHorn Verification Framework

smack

SMACK Software Verifier and Verification Toolchain