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