JiechengZhao

JiechengZhao's Stars

• yuruotong1/autoMate

  Language:TypeScript14023

• Codium-ai/cover-agent

  CodiumAI Cover-Agent: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞

  Language:Python4k266

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.2k252

• pandaman64/lean-regex

  Language:Lean151

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++85277

• wellecks/llmstep

  llmstep: [L]LM proofstep suggestions in Lean 4.

  Language:Python10214

• teorth/symmetric_project

  Language:Lean827

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4k346

• leanprover/theorem_proving_in_lean4

  Theorem Proving in Lean 4

  Language:JavaScript14681

• tonytonyjan/TJDict

  TJDict is a fast, easy, open-source, and ad-free browser extension for multi-dictionary searching.

  Language:JavaScript143

• RealKai42/qwerty-learner

  为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

  Language:TypeScript15k1.4k

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python47472

• paritytech/polkadot

  Polkadot Node Implementation

  Language:Rust7.1k1.6k

• DallasMorningNews/mbox-tools

  Simple tools for summarizing .mbox email archives.

  Language:Python83

• Chakazul/Lenia

  Lenia - Mathematical Life Forms

  Language:Python3.5k218

• hunar4321/particle-life

  A simple program to simulate artificial life using attraction/reuplsion forces between many particles

  Language:HTML2.9k292

• Uniswap/redux-multicall

  A React + Redux library for fetching, batching, and caching chain state via the MultiCall contract.

  Language:TypeScript9352

• extraterrestrial-tech/fixidity

  A fixed decimal precision math library for Solidity

  Language:JavaScript276

• Lightning-AI/pytorch-lightning

  Pretrain, finetune and deploy AI models on multiple GPUs, TPUs with zero code changes.

  Language:Python27.5k3.3k

• shap/shap

  A game theoretic approach to explain the output of any machine learning model.

  Language:Jupyter Notebook22.1k3.2k

• zvtvz/zvt

  modular quant framework.

  Language:Python3.1k841

• facebookresearch/fairseq

  Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

  Language:Python29.8k6.3k

• 981011512/--

  停车场系统源码，新能源充电桩系统，停车场小程序，智能停车，Parking system，【功能介绍】：①兼容市面上主流的多家相机，理论上兼容所有硬件，可灵活扩展，②相机识别后数据自动上传到云端并记录，校验相机唯一id和硬件序列号，防止非法数据录入，③用户手机查询停车记录详情可自主缴费(支持微信，支付宝，银行接口支付，支持每个停车场指定不同的商户进行收款)，支付后出场在免费时间内会自动抬杆。④支持app上查询附近停车场(导航，可用车位数，停车场费用，优惠券，评分，评论等)，可预约车位。⑤断电断网支持岗亭人员使用app可接管硬件进行停车记录的录入。 【技术架构】：后端开发语言java，框架oauth2+springboot2+dubble，数据库mysql/mongodb/redis，即时通讯底层框架netty4，安卓和ios均为原生开发，后台管理模板vue专业定制

  Language:Java4.3k2.2k

• OATML/bdl-benchmarks

  Bayesian Deep Learning Benchmarks

  Language:Jupyter Notebook65991

• huggingface/transformers

  🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

  Language:Python129k25.5k

• google/lyra

  A Very Low-Bitrate Codec for Speech Compression

  Language:C++3.8k354

• oppia/oppia

  A free, online learning platform to make quality education accessible for all.

  Language:Python5.7k3.8k

• paritytech/substrate

  Substrate: The platform for blockchain innovators

  Language:Rust8.4k2.7k

• leanprover-community/mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k297

• motefly/DeepGBM

  SIGKDD'2019: DeepGBM: A Deep Learning Framework Distilled by GBDT for Online Prediction Tasks

  Language:Python633135