Pinned Repositories
kcl
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
ase2017-results-and-tools
The experimental results and tools for our submission to ASE 2017
BMI-DC
This prototypical implementation is dedicated to synthesizing invariant barrier certificates via difference-of-convex programming.
chumsky
A parser library for humans with powerful error recovery.
coding-interview-university
A complete computer science study plan to become a software engineer.
CompileDragonBook
Compile Dragon Book + DSL book, etc.
dreal4
SMT Solver for Nonlinear Theories of Reals
FTP-client-and-server-use-JAVA
这是一个使用java socket编程实现的项目,包含一个ftp客户端和一个ftp服务器端,主要是学习作用
jsproxy
一个基于浏览器端 JS 实现的在线代理
KCLVM
A constraint-based record & functional language mainly used in configuration and policy scenarios.
possible-fqz's Repositories
possible-fqz/BMI-DC
This prototypical implementation is dedicated to synthesizing invariant barrier certificates via difference-of-convex programming.
possible-fqz/chumsky
A parser library for humans with powerful error recovery.
possible-fqz/coding-interview-university
A complete computer science study plan to become a software engineer.
possible-fqz/CompileDragonBook
Compile Dragon Book + DSL book, etc.
possible-fqz/dreal4
SMT Solver for Nonlinear Theories of Reals
possible-fqz/jsproxy
一个基于浏览器端 JS 实现的在线代理
possible-fqz/KCLVM
A constraint-based record & functional language mainly used in configuration and policy scenarios.
possible-fqz/LR1-Parser
LR1-Parser可作为编译前端语法分析部件,基于LR(1)算法开发,包括LR(1)分析表生成器模块和分析栈模块(含错误恢复)。
possible-fqz/NYUGY6903-AppliedCryptography
This repo holds projects that have been presented as a part of the Project 2 by previous students who have taken the class
possible-fqz/rust-course
“连续六年成为全世界最受喜爱的语言,无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。<<Rust语言圣经>>拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,甚至还有JS程序员关注的 WASM 和 Deno 等专题。这可能是目前最用心的 Rust 中文学习教程/书籍
possible-fqz/SOP
possible-fqz/z3
The Z3 Theorem Prover
possible-fqz/zilu_benchmark
possible-fqz/2022-Machine-Learning-Specialization
possible-fqz/annotated_deep_learning_paper_implementations
🧑🏫 59 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠
possible-fqz/C-Plus-Plus
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
possible-fqz/CPlusPlusThings
C++那些事
possible-fqz/d2l-en
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 400 universities from 60 countries including Stanford, MIT, Harvard, and Cambridge.
possible-fqz/d2l-zh
《动手学深度学习》:面向中文读者、能运行、可讨论。中英文版被60多个国家的400多所大学用于教学。
possible-fqz/dlwpt-code
Code for the book Deep Learning with PyTorch by Eli Stevens, Luca Antiga, and Thomas Viehmann.
possible-fqz/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
possible-fqz/Lihang
Statistical learning methods, 统计学习方法(第2版)[李航] [笔记, 代码, notebook, 参考文献, Errata, lihang]
possible-fqz/mit-deep-learning-book-pdf
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
possible-fqz/Student-Information-Management-System
该项目是基于Python和数据库实现的学生信息管理系统
possible-fqz/Student-information-management-system-1
This project is a student information management system, this project is implemented in Python language, but also to achieve the graphical interface display, but also to achieve the administrator side, the student side of the two login entrance, at the same time the bottom using Redis to do data persistence.
possible-fqz/study428
深度学习、计算机视觉、OpenCV、自动驾驶、SLAM、C++/Python语言开发学习分享
possible-fqz/The-Art-of-Linear-Algebra
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
possible-fqz/TinyWebServer
:fire: Linux下C++轻量级WebServer服务器
possible-fqz/TKinter_Management_Information_System
A basic MIS application in python3 using tkinter for GUI. The best tkinter side project in the internet.
possible-fqz/tuning_playbook
A playbook for systematically maximizing the performance of deep learning models.