-
IS, CAS (prior to SJTU)
- Beijing y Shanghai, China
- maxul.github.io
Stars
Magnificent app which corrects your previous console command.
A curated list of open-source projects that help exploit Intel SGX technology
The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
A Flexible Framework for Experiencing Cutting-edge LLM Inference Optimizations
Pocket Flow: 100-line LLM framework. Let Agents build Agents!
11 Lessons to Get Started Building AI Agents
ShortcutsBench: A Large-Scale Real-World Benchmark for API-Based Agents
FlashMLA: Efficient MLA decoding kernels
ROSA 🤖 is an AI Agent designed to interact with ROS1- and ROS2-based robotics systems using natural language queries. ROSA helps robot developers inspect, diagnose, understand, and operate robots.
Towards A Secure Yet Maintainable Encrypted Database
DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dat…
An LLM Based Diagnosis System (https://arxiv.org/pdf/2312.01454.pdf)
The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).
A comprehensive list of papers using large language/multi-modal models for Robotics/RL, including papers, codes, and related websites
A repo lists papers related to LLM based agent
A Parallel SAT Solver with GPU Accelerated Inprocessing
SGLang is a fast serving framework for large language models and vision language models.
Pytorch implementation of Bit-Flip based adversarial weight Attack (BFA)