yqyq-w

yqyq-w's Stars

• faisalbasra/postgres_books

  355206

• postgres/postgres

  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/Submitting_a_Patch

  Language:C15.2k4.4k

• thu-db/huadb

  HuaDB 实验框架

  Language:C++11017

• cmu-db/optd

  CMU-DB's Cascades optimizer framework

  Language:Rust32619

• EasyCrypt/easycrypt

  EasyCrypt: Computer-Aided Cryptographic Proofs

  Language:OCaml29445

• dssg/aequitas

  Bias Auditing & Fair ML Toolkit

  Language:Python656110

• KenSciResearch/fairMLHealth

  Healthcare-specific tools for bias analysis

  Language:Jupyter Notebook3212

• Hsword/SpotServe

  SpotServe: Serving Generative Large Language Models on Preemptible Instances

  728

• RUCAIBox/LLMSurvey

  The official GitHub page for the survey paper "A Survey of Large Language Models".

  Language:Python9.5k738

• NYUMedML/DeepEHR

  Chronic Disease Prediction Using Medical Notes

  Language:Python26270

• tudev/Workshops-2020-2021

  Workshops for 2020-2021 school year

  Language:Jupyter Notebook10684

• amrzv/awesome-colab-notebooks

  Collection of google colaboratory notebooks for fast and easy experiments

  Language:Python1.3k238

• 58ossbar/study-mongodb-redis

  NOSQL数据库入门到实战: 结合实践案例，以任务为驱动，对Mongodb、Redis数据库技术进行梳理，让开发者快速掌握Mongodb和Redis数据库。

  Language:Java41

• sanyathisside/System-Design

  System design concepts and implementations (includes high-level design, low-level design, microservices, etc.)

  Language:Java13934

• gdutxiaoxu/AndroidGuide

  「Android学习+面试指南」一份涵盖大部分 Android 程序员所需要掌握的核心知识。准备 Android 面试，首选 AndroidGuide！公众号程序员徐公

  26441

• philipplackner/StockMarketApp

  Language:Kotlin177101

• ChenLittlePing/LearningVideo

  【Android 音视频开发打怪升级】系列文章示例代码（A demo to introduce how to develop android video）。本项目将从MediaCodec硬解，FFmpeg软解，OpenGL等方面，全方位讲解如何在Android上进行音视频编辑开发。

  Language:C1.8k345

• ashellunts/ffmpeg-to-webrtc

  Stream video from ffmpeg to web(rtc)

  Language:Go93557

• newca12/awesome-rust-formalized-reasoning

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  2839

• krahets/hello-algo

  《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing

  Language:Java79.7k10.1k

• boogie-org/boogie

  Boogie

  Language:Boogie497107

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust17.2k1.3k

• moonbitlang/core

  MoonBit's Core library

  Language:Shell47554

• moonbitlang/moonbit-docs

  The docs of MoonBit programming language

  Language:JavaScript86240

• eliben/llvm-clang-samples

  UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

  Language:C++1.2k227

• theteachr/eleet_camel

  Collection of solutions to LeetCode problems (in OCaml)

  Language:OCaml31

• doocs/leetcode

  🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer（第 2 版）》、《程序员面试金典（第 6 版）》题解

  Language:Java29.8k5.6k

• checkcheckzz/system-design-interview

  System design interview for IT companies

  21.3k5k

• morethancertified/devops-in-the-cloud

  Official Repository for the Devops in the Cloud with Terraform, Ansible, and Jenkins Course Code.

  Language:HCL50129

• scallop-lang/scallop

  Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

  Language:Rust1759