Stars
An MLIR-based compiler framework bridges DSLs (domain-specific languages) to DSAs (domain-specific architectures).
The Language Virtual Machine for Agent Skills
Your own personal AI assistant. Any OS. Any Platform. The lobster way. ๐ฆ
Confidential AI deployment with secure enclaves ๐
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)
Plinius: Secure ML model training with Intel SGX and PM for fault tolerance
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
An automated prover that verifies the equivalence of SQL queries
jQuery Terminal Emulator - JavaScript library for creating web-based terminals with custom commands
verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework
๐ Token-Oriented Object Notation (TOON) โ Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.
A machine learning accelerator core designed for energy-efficient AI at the edge.
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Production-ready platform for agentic workflow development.
๐ค LeRobot: Making AI for Robotics more accessible with end-to-end learning
Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.
Accelerate local LLM inference and finetuning (LLaMA, Mistral, ChatGLM, Qwen, DeepSeek, Mixtral, Gemma, Phi, MiniCPM, Qwen-VL, MiniCPM-V, etc.) on Intel XPU (e.g., local PC with iGPU and NPU, discrโฆ
Productive, portable, and performant GPU programming in Python.
FlatBuffers: Memory Efficient Serialization Library
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
An open-source C++ library developed and used at Facebook.