Stars
A high-throughput and memory-efficient inference and serving engine for LLMs
A static verifier for Rust, based on the Viper verification infrastructure.
Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)
The world’s fastest framework for building websites.
Dafny is a verification-aware programming language
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
eBPF Developer Tutorial: Learning eBPF Step by Step with Examples
ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
Scapy: the Python-based interactive packet manipulation program & library.
《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀
Open5GS is a C-language Open Source implementation for 5G Core and EPC, i.e. the core network of LTE/NR network (Release-17)
Repository to host and maintain SCALE-Sim code
A novel approach for synthesizing tabular data using pretrained large language models
A unified framework for privacy-preserving data analysis and machine learning
FEDML - The unified and scalable ML library for large-scale distributed training, model serving, and federated learning. FEDML Launch, a cross-cloud scheduler, further enables running any AI jobs o…
分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.
Training PyTorch models with differential privacy
Collective communications library with various primitives for multi-machine training.
This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small langua…
cluster data collected from production clusters in Alibaba for cluster management research
Countdowns to top Networking and Measurement conference deadlines.
🍰 Desktop utility to download images/videos/music/text from various websites, and more.