westtide's repositories
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.
homebrew-i386-jos-elf-gcc
For MIT 6.828 Operating System Engineering
songs_album
主要是唱片
xv6-westtide
xv6 OS
Z3-SMTLIB-Tutorial
Z3 SMTLIB Tutorial
aeval
AE-solver and Skolemizer
DarkArtsHaskell
Haskell is a kind of functional program language, which like Dark Arts.
eldarica
eldarica-symex
Formal-Methods-Materials
A Short Introduction to Formal Methods
my_ospp
my ospp
OperatingSystems.ThreeEasyPieces
Chinese edition of Operating Systems .Three Easy Pieces
cln2inv
Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
code2inv
Code2Inv: Learning Loop Invariants for Program Verification
csinva.github.io
Slides, notes, blog posts, and research on machine learning, statistics, and artificial intelligence.
deep-learning-with-python-notebooks
Jupyter notebooks for the code samples of the book "Deep Learning with Python"
Diva
DIversity in VerificAtion
DL4TP
A Survey on Deep Learning for Theorem Proving
eldarica_2
The Eldarica model checker
Introduction-to-Computer-Systems
Course : Introduction to Computer Systems
Learning-SICP
MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
llvm-libc
ospp 2024: llvm-libc for openeuler
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LoopInvGen
Generates loop invariants for program verification
Relational-Hypergraph-Neural-Network-PyG
Implementaion by PyG
youthstudy-tool
广东智慧团建系统青年大学习多功能积分工具
Z3-SMT-LIB-Tutorial
Tutorials and courses for Z3