lyj's repositories
tantivy-insight
个人对tantivy的理解
incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
BiliAlbumCrawler
B站用户相册图片爬虫
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
CS410-21
being the teaching materials and exercises for CS410 in the 2021/22 session
faq
收集整理在 Rust 众 https://t.me/rust_zh 的讨论中出现的一些常见疑问及其解答
konsole
Terminal emulator by KDE
lfu-cache
A rust implementation of a Least Frequently Used cache
linked-hash-map
A HashMap wrapper that holds key-value pairs in insertion order
linked-hash-set
Rust HashSet with insertion ordering
linux-sgx-driver
Intel SGX Linux* Driver
mergesorts
mergesort in many languages
plfa.github.io
An introduction to programming language theory in Agda
reference
The Rust Reference
rust
Empowering everyone to build reliable and efficient software.
rust-design-pattern
rust design patterns
simple-sub
Alternative algorithm for algebraic subtyping.
sort
a formally verified mergesort implementation in Coq
TIP
Static program analysis for TIP
weibo-crawler
新浪微博爬虫，用python爬取新浪微博数据，并下载微博图片和微博视频