westtide Goto Github PK

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.

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.

darkartshaskell

Haskell is a kind of functional program language, which like Dark Arts.

deep-learning-with-python-notebooks

Jupyter notebooks for the code samples of the book "Deep Learning with Python"

diva

DIversity in VerificAtion

eldarica

eldarica-symex

eldarica_2

The Eldarica model checker

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

introduction-to-computer-systems

Course : Introduction to Computer Systems

learning-sicp

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

loopinvgen

Generates loop invariants for program verification

my_ospp

my ospp

neurosymbolic

operatingsystems.threeeasypieces

Chinese edition of Operating Systems .Three Easy Pieces

relational-hypergraph-neural-network-pyg

Implementaion by PyG

songs_album

主要是唱片

westtide-netlify

xv6-westtide

xv6 OS

youthstudy-tool

广东智慧团建系统青年大学习多功能积分工具

z3-smt-lib-tutorial

Tutorials and courses for Z3

z3-smtlib-tutorial

Z3 SMTLIB Tutorial