arxgy's Stars
josephmisiti/awesome-machine-learning
A curated list of awesome Machine Learning frameworks, libraries and software.
microsoft/MS-DOS
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
pjreddie/darknet
Convolutional Neural Networks
gfwlist/gfwlist
The one and only one gfwlist here
HigherOrderCO/Bend
A massively parallel, high-level programming language
microsoft/mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
adam-maj/tiny-gpu
A minimal GPU design in Verilog to learn how GPUs work from the ground up
raycast/extensions
Everything you need to extend Raycast.
google-research/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
AutoMQ/automq
AutoMQ is a cloud-first alternative to Kafka by decoupling durability to S3 and EBS. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency.
sjtug/SJTUThesis
上海交通大学 LaTeX 论文模板 | Shanghai Jiao Tong University LaTeX Thesis Template
p-org/P
The P programming language.
haampie/libtree
ldd as a tree
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
AbsInt/CompCert
The CompCert formally-verified C compiler
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
rust-lang/polonius
Defines the Rust borrow checker.
sjtug/SJTUBeamer
上海交通大学 Beamer 模版 | Beamer template for Shanghai Jiao Tong University
whonore/Coqtail
Interactive Coq Proofs in Vim
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
mit-pdos/perennial
Verifying concurrent crash-safe systems
Infinity-Type-Cafe/ntype-cafe-summer-school
ntype cafe summer school resources
anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
DeepSpec/dsss18
Lecture material for DeepSpec Summer School 2018
microsoft/verismo
A formally verified security module for AMD confidential VMs
mspertus/TAPL
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
ya0guang/PoBF
Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
DeepSpec/sf
mit-pdos/cspec
Verifying concurrent code with layers and movers
Baptiste-Pollien/coq-stats
Coq'Stats is a program to get statistics about Coq projects