gyggg's repositories
AndroidDevTools
收集整理Android开发所需的Android SDK、开发中用到的工具、Android开发教程、Android设计规范，免费的设计素材等。
awesome-android-ui
A curated list of awesome Android UI/UX libraries
llvm2kittel
llvm2KITTeL
ChatGPT-Next-Web
One-Click to deploy well-designed ChatGPT web UI on Vercel. 一键拥有你自己的 ChatGPT 网页服务。
Language:TypeScriptMIT000
gitignore
A collection of useful .gitignore templates
CC0-1.0000
gobang-javafx
my homework
Language:Jupyter NotebookMIT000
hornspec
Specification synthesizer based on CHC/SyGuS. Supports Maximality and Non-Vacuity constraints.
Language:SMTNOASSERTION000
LoopInvGen
Generates loop invariants for program verification
Language:OCamlMIT000
memory-manage-simulation
内存分配模拟系统。
Language:Java000
Multicore_OCaml_Test
Run z3 ocaml interface with multicore OCaml.
Language:SMT000
MyWeather
东软实训项目
Language:Java000
Language:Java000
Language:Java000
pix2pix
Image-to-image translation using conditional adversarial nets
Language:LuaNOASSERTION000
000