#
yqyq-w
Follow
Starred repositories
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
EasyCrypt: Computer-Aided Cryptographic Proofs
Healthcare-specific tools for bias analysis
SpotServe: Serving Generative Large Language Models on Preemptible Instances
The official GitHub page for the survey paper "A Survey of Large Language Models".
Chronic Disease Prediction Using Medical Notes
Workshops for 2020-2021 school year
Collection of google colaboratory notebooks for fast and easy experiments
NOSQL数据库入门到实战: 结合实践案例，以任务为驱动，对Mongodb、Redis数据库技术进行梳理，让开发者快速掌握Mongodb和Redis数据库。
System design concepts and implementations (includes high-level design, low-level design, microservices, etc.)
「Android学习 面试指南」一份涵盖大部分 Android 程序员所需要掌握的核心知识。准备 Android 面试，首选 AndroidGuide！公众号程序员徐公
【Android 音视频开发打怪升级】系列文章示例代码（A demo to introduce how to develop android video）。本项目将从MediaCodec硬解，FFmpeg软解，OpenGL等方面，全方位讲解如何在Android上进行音视频编辑开发。
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C , C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing
An incremental parsing system for programming tools
The docs of MoonBit programming language
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
Collection of solutions to LeetCode problems (in OCaml)
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer（第 2 版）》、《程序员面试金典（第 6 版）》题解
System design interview for IT companies
Official Repository for the Devops in the Cloud with Terraform, Ansible, and Jenkins Course Code.