Modern Kubernetes visibility. Topology, event timeline, and service traffic — plus resource browsing and Helm management.

An OpenMP runtime implemented using HPX

Mercurium is a C/C++/Fortran source-to-source compilation infrastructure aimed at fast prototyping developed by the Programming Models group at the Barcelona Supercomputing Center

Open Community Runtime

A-PXM: A Parallel Execution Model for Agentic AI

AgentMate - A Rust framework for building AI agents with tools, streaming, memory, and sandboxing

A Machine-to-Machine Interaction System for Lean 4.

LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

LLM interface for the Isabelle theorem prover

State-of-the-art bilingual open-sourced Math reasoning LLMs.

Verifier-integrated reasoning for formal theorem proving via RL.

개인 블로그입니다

Single-header C11 port of https://abseil.io SwissTable

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…

MQT Bench - An MQT Tool for Benchmarking Quantum Software Tools

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Benchmarks and harnesses for CARTS

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

Abstract RunTime System

Heterogeneous GPU Sharing on Kubernetes

Flower: A Friendly Federated AI Framework