The Language Virtual Machine for Agent Skills
☆504Jun 8, 2026Updated this week
Alternatives and similar repositories for SkVM
Users that are interested in SkVM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 方便扩展的Cuda算子理解和优化框架，仅用在学习使用☆18Jun 13, 2024Updated 2 years ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆43Jun 5, 2023Updated 3 years ago
- My Paper Reading Lists and Notes.☆24May 8, 2026Updated last month
- [ISSTA 2024] PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software☆27Sep 13, 2025Updated 9 months ago
- DeepSeek-V3.2-Exp DSA Warmup Lightning Indexer training operator based on tilelang☆44Nov 19, 2025Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- [ICML 2025] Adaptive Self-improvement LLM Agentic System for ML Library Development☆17Jan 6, 2026Updated 5 months ago
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 6 years ago
- SELL OPEN!! Sniping token. Purchase of tokens during listing on exchanges such as Binance, MEXC, OKEX, Huobi and Gate.io . Buy the very f…☆11Feb 27, 2024Updated 2 years ago
- TiledLower is a Dataflow Analysis and Codegen Framework written in Rust.☆13Nov 23, 2024Updated last year
- ☆76Apr 17, 2026Updated last month
- ☆121May 19, 2025Updated last year
- 📚经典技术书籍 PDF 文件，持续更新...☆22Sep 7, 2020Updated 5 years ago
- UpCy automatically finds compatible updates for Maven dependencies.☆12Feb 8, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Apr 26, 2023Updated 3 years ago
- Fast In-memory Transaction Processing using RDMA and HTM☆59Dec 20, 2015Updated 10 years ago
- ☆40Dec 14, 2025Updated 6 months ago
- Midas is a memory management system that efficiently and safely harvests idle memory for applications' soft state.☆11Oct 30, 2024Updated last year
- StorageScan is a contract variable query tool on EVM chain (ETH BSC HECO...) Through the getStorageAt() function, it allows us to get the…☆12May 13, 2022Updated 4 years ago
- Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication☆31Mar 7, 2016Updated 10 years ago
- A record of reading list on some MLsys popular topic☆25Mar 20, 2025Updated last year
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆63Mar 9, 2025Updated last year
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆15Sep 2, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Jul 11, 2023Updated 2 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- KafeDB: End-to-End Structurally-Encrypted Database System. Based on Apache Spark SQL.☆12Nov 11, 2021Updated 4 years ago
- Java* Fuzzer for Android*☆11Nov 3, 2016Updated 9 years ago
- Collection of scripts used for BlueField SoC system management.☆31Apr 9, 2026Updated 2 months ago
- 一款微信小程序源码包信息收集工具，根据已有项目改编☆24Feb 11, 2025Updated last year
- Automatic virtualization of (general) accelerators.☆47Nov 28, 2022Updated 3 years ago
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆17Apr 1, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- ☆14Jun 11, 2020Updated 6 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- Our repository for NSCSCC☆21Feb 22, 2025Updated last year
- ZeroVM glibc port (part of the gcc toolchain)☆12Apr 3, 2015Updated 11 years ago
- REEF is a GPU-accelerated DNN inference serving system that enables instant kernel preemption and biased concurrent execution in GPU sche…☆108Dec 24, 2022Updated 3 years ago
- Matrix multiplication on GPUs for matrices stored on a CPU. Similar to cublasXt, but ported to both NVIDIA and AMD GPUs.☆32Apr 2, 2025Updated last year