Weekly-170

[github-actions[bot]]

联合周报第 170 期开始投稿 :tada:

[at15]

https://www.jetbrains.com/lp/php-25/ 25 years of PHP source can be found in https://github.com/JetBrains/php-timeline

[at15]

https://github.com/facebookincubator/ent a graph database ORM from facebook. Underlying storage can be SQL database or graph db that supports Gremlin

[at15]

https://github.com/google/souper llvm IR optimizer using SMT solver

[at15]

https://github.com/demikernel/demikernel The Demikernel architecture offers a uniform system call API across kernel-bypass technologies (e.g., RDMA, DPDK) and OS functionality (e.g., a user-level networking stack for DPDK)

[at15]

Scaling symbolic evaluation for automated verification of systems code with Serval from MSR

[at15]

https://github.com/mre/tinysearch full text search for static website in Rust (and WASM)

[at15]

https://github.com/zowens/paxos-rs WIP Rust implementation of Paxos

[at15]

https://github.com/rust-lang/gll GLL (Generalized LL) parsing

[hebingchang]

https://github.com/decentralized-identity/ion M$'s implementation of DID

[at15]

https://github.com/medusalix/xow use xbox controller on linux