Pinned Repositories
aeval
AE-solver and Skolemizer
ASE
Advanced Software Engineering course materials
CCFrank4dblp-Safari
Displays the China Computer Federation (CCF) recommended rank of international conferences and journals in the dblp, Google Scholar, Connected Papers and and Web of Science search results.
fm-ml
Collection of resources for research concerning Machine Learning and Formal Methods.
Formal-Methods-Materials
A Short Introduction to Formal Methods
homebrew-i386-jos-elf-gcc
For MIT 6.828 Operating System Engineering
my_ospp
my ospp
songs_album
主要是唱片
xv6-westtide
xv6 OS
Z3-SMTLIB-Tutorial
Z3 SMTLIB Tutorial
westtide's Repositories
westtide/CCFrank4dblp-Safari
Displays the China Computer Federation (CCF) recommended rank of international conferences and journals in the dblp, Google Scholar, Connected Papers and and Web of Science search results.
westtide/fm-ml
Collection of resources for research concerning Machine Learning and Formal Methods.
westtide/homebrew-i386-jos-elf-gcc
For MIT 6.828 Operating System Engineering
westtide/songs_album
主要是唱片
westtide/xv6-westtide
xv6 OS
westtide/Z3-SMTLIB-Tutorial
Z3 SMTLIB Tutorial
westtide/aeval
AE-solver and Skolemizer
westtide/ASE
Advanced Software Engineering course materials
westtide/DarkArtsHaskell
Haskell is a kind of functional program language, which like Dark Arts.
westtide/Formal-Methods-Materials
A Short Introduction to Formal Methods
westtide/my_ospp
my ospp
westtide/OperatingSystems.ThreeEasyPieces
Chinese edition of Operating Systems .Three Easy Pieces
westtide/cln2inv
Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
westtide/code2inv
Code2Inv: Learning Loop Invariants for Program Verification
westtide/csinva.github.io
Slides, notes, blog posts, and research on machine learning, statistics, and artificial intelligence.
westtide/deep-learning-with-python-notebooks
Jupyter notebooks for the code samples of the book "Deep Learning with Python"
westtide/Diva
DIversity in VerificAtion
westtide/Introduction-to-Computer-Systems
Course : Introduction to Computer Systems
westtide/Learning-SICP
MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
westtide/LoopInvGen
Generates loop invariants for program verification
westtide/neurosymbolic
westtide/westtide-netlify
westtide/youthstudy-tool
广东智慧团建系统青年大学习多功能积分工具
westtide/Z3-SMT-LIB-Tutorial
Tutorials and courses for Z3