Pinned Repositories
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
ante
A safe, easy systems language
bootable-live-installer
celadon-documentation
Documentation for project Celadon
clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
device-androidia
device-androidia-kernel
device-androidia-mixins
device-intel-build
device-intel-common
mengxianglinx's Repositories
mengxianglinx/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
mengxianglinx/ante
A safe, easy systems language
mengxianglinx/bootable-live-installer
mengxianglinx/celadon-documentation
Documentation for project Celadon
mengxianglinx/clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
mengxianglinx/device-androidia
mengxianglinx/device-androidia-mixins
mengxianglinx/device-intel-build
mengxianglinx/dusk-zerocaf
Zerocaf: A library built for EC operations in Zero Knowledge.
mengxianglinx/eldiro
Learn to make your own programming language with Rust
mengxianglinx/hardware-intel-kernelflinger
mengxianglinx/kernelflinger
mengxianglinx/kvdk
Reference example code of key/value store design for Persistent Memory
mengxianglinx/lbd
mengxianglinx/linux-sgx-driver
Intel SGX Linux* Driver
mengxianglinx/mold
mold: A Modern Linker
mengxianglinx/newtest
for test
mengxianglinx/OrbLang
Orb programming language
mengxianglinx/revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
mengxianglinx/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.
mengxianglinx/shim
UEFI shim loader
mengxianglinx/slimbootloader
Visit http://slimbootloader.github.io for documentation
mengxianglinx/smack
SMACK Software Verifier and Verification Toolchain
mengxianglinx/sof
Sound Open Firmware
mengxianglinx/Spartan
Spartan: High-speed zkSNARKs without trusted setup
mengxianglinx/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.
mengxianglinx/triton
Development repository for the Triton language and compiler
mengxianglinx/vendor-intel-utils
mengxianglinx/verona
Research programming language for concurrent ownership
mengxianglinx/zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.