sky7drake
Follow
Stars
Production-tested AI infrastructure tools for efficient AGI development and community-driven innovation
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling
DeepEP: an efficient expert-parallel communication library
Forum for discussing Internet censorship circumvention
A programming framework for agentic AI 🤖 PyPi: autogen-agentchat Discord: https://aka.ms/autogen-discord Office Hour: https://aka.ms/autogen-officehour
MarS: a Financial Market Simulation Engine Powered by Generative Foundation Model
A windows debugger written in Rust, for educational purposes
A massively parallel, high-level programming language
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Development repository for the Triton language and compiler
A massively parallel, optimal functional runtime in Rust
Optimal evaluator of λ-calculus terms.
Inpla: Interaction nets as a programming language (the current version)
AliSQL is a MySQL branch originated from Alibaba Group. Fetch document from Release Notes at bottom.
A minimal programming example for a chat server
21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
Technical summary, talks, articles
A curated list to learn about distributed systems
FoundationDB - the open source, distributed, transactional key-value store
These are the best resources for System Design on the Internet
DuckDB is an analytical in-process SQL database management system
Curated list of resources on testing distributed systems
PruningRadixTrie - 1000x faster Radix trie for prefix search & auto-complete
Let's write an OS which can run on RISC-V in Rust from scratch!