Meng xianglin's repositories
triton
Development repository for the Triton language and compiler
revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Theseus
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.
verona
Research programming language for concurrent ownership
ante
A safe, easy systems language
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
eldiro
Learn to make your own programming language with Rust
mold
mold: A Modern Linker
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
smack
SMACK Software Verifier and Verification Toolchain
Spartan
Spartan: High-speed zkSNARKs without trusted setup
slimbootloader
Visit http://slimbootloader.github.io for documentation
dusk-zerocaf
Zerocaf: A library built for EC operations in Zero Knowledge.
clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
linux-sgx-driver
Intel SGX Linux* Driver
kvdk
Reference example code of key/value store design for Persistent Memory
OrbLang
Orb programming language
rose
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.
sof
Sound Open Firmware
shim
UEFI shim loader
newtest
for test
celadon-documentation
Documentation for project Celadon