Vanellope0602

Vanellope0602's Stars

• apachecn/huazhang-cs-books

  :books: 华章计算机科学丛书高清扫描

  478212

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k231

• MuiseDestiny/zotero-style

  Ethereal Style for Zotero

  Language:JavaScript3.9k122

• nyu-systems/gauntlet

  Finding bugs in P4 compilers using translation validation.

  Language:P4353

• choukh/Baby-Set-Theory

  Coq集合论中文教程

  Language:Coq443

• thufv/CMinor-Verifier

  2022 年春季学期清华大学《软件分析与验证》课程实验平台

  Language:C#20423

• choukh/Set-Theory

  A formalization of the textbook Elements of Set Theory

  Language:Coq594

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq76171

• THUDM/ChatGLM2-6B

  ChatGLM2-6B: An Open Bilingual Chat LLM | 开源双语对话语言模型

  Language:Python15.7k1.9k

• MuiseDestiny/zotero-gpt

  GPT Meet Zotero.

  Language:TypeScript5.4k220

• binary-husky/gpt_academic

  为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

  Language:Python66.7k8.2k

• duguying/parsing-techniques

  📕 parsing techniques 中文译本——《解析技术》

  Language:Shell1.5k145

• kubernetes/kubernetes

  Production-Grade Container Scheduling and Management

  Language:Go112k40k

• l2ctsinghua/l2c

  Language:Coq186

• seL4/seL4

  The seL4 microkernel

  Language:C4.8k679

• Snailclimb/JavaGuide

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

  Language:Java148k45.7k

• cosen1024/Java-Interview

  「Java面试小抄」一份通向理想互联网公司的面试汇总，包括 Java基础、Java并发、JVM、MySQL、Redis、Spring、MyBatis、Kafka、计算机操作系统、计算机网络、系统设计、分布式、Java 项目实战等

  2.5k543

• sunnyyoung/WeChatTweak-macOS

  A dynamic library tweak for WeChat macOS - 首款微信 macOS 客户端撤回拦截与多开 🔨

  Language:Objective-C11.5k1.4k

• TKkk-iOSer/WeChatPlugin-MacOS

  微信小助手

  Language:Objective-C14.2k2.5k

• ydf0509/python36patterns

  最全python36种设计模式。opp面向过程和oop面向对象的极致使用方式，一切编码思维和设计想法逃不出这36计。

  Language:Python24277

• julycoding/The-Art-Of-Programming-By-July-2nd

  本项目曾冲到全球第一，干货集锦见本页面最底部，另完整精致的纸质版《编程之法：面试和算法心得》已在京东/当当上销售

  Language:C21.4k7.1k

• faif/python-patterns

  A collection of design patterns/idioms in Python

  Language:Python40.7k6.9k

• apachecn/Interview

  Interview = 简历指南 + 算法题 + 八股文 + 源码分析

  Language:Jupyter Notebook8.8k2.2k

• liweitianux/resume

  My resume in LaTeX (template suited for new graduates; 应届生简历模板)

  Language:TeX615136

• golsun/deep-RL-trading

  playing idealized trading games with deep reinforcement learning

  Language:Python357123

• openai/gym

  A toolkit for developing and comparing reinforcement learning algorithms.

  Language:Python35.1k8.6k

• maxim5/time-series-machine-learning

  Machine learning models for time series analysis

  Language:Python374104

• Jenniferz28/Time-Series-ARIMA-XGBOOST-RNN

  Time series forecasting for individual household power prediction: ARIMA, xgboost, RNN

  Language:Python675219

• facebook/prophet

  Tool for producing high quality forecasts for time series data that has multiple seasonality with linear or non-linear growth.

  Language:Python18.7k4.6k

• thuml/Time-Series-Library

  A Library for Advanced Deep Time Series Models.

  Language:Python7.6k1.2k