-
Institute of Software, Chinese Academy of Sciences
- Beijing
-
13:29
(UTC +08:00)
Starred repositories
Distributed Compiler based on Triton for Parallel Systems
An MLIR-based compiler framework bridges DSLs (domain-specific languages) to DSAs (domain-specific architectures).
FlashInfer: Kernel Library for LLM Serving
A benchmark of real-world DL kernel problems
A self-learning tutorail for CUDA High Performance Programing.
imperatormk / triton
Forked from triton-lang/tritonDevelopment repository for the Triton language and compiler
CUDA Templates and Python DSLs for High-Performance Linear Algebra
Secure, Fast, and Extensible Sandbox runtime for AI agents.
An OpenClaw Skills utility for self-checking common attack surfaces exposed by improper OpenClaw operations or hallucinations (continuously updated)
zeroy0410 / zed
Forked from zed-industries/zedCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
MLIR and TableGen language support for [Zed](https://zed.dev).
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
An elegant PyTorch deep reinforcement learning library.
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
PromeFuzz: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models
Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib
A retargetable MLIR-based machine learning compiler and runtime toolkit.
Marrying Rust and CMake - Easy Rust and C/C++ Integration!
YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.
A production-oriented multi-agent orchestration framework.
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.