芝士后端
☆19Dec 15, 2025Updated 3 months ago
Alternatives and similar repositories for cheese-backend
Users that are interested in cheese-backend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 2024 中国人民大学 程序设计Ⅱ荣誉课程 大作业：苏拉卡尔塔棋☆21Jun 10, 2024Updated last year
- ☆19Apr 5, 2025Updated 11 months ago
- ☆19Jan 20, 2025Updated last year
- 2023 中国人民大学 程序设计Ⅱ荣誉课程 大作业：不围棋☆30May 11, 2024Updated last year
- Everything about AI4Gemetry (AI for geometry problem solving / theorem proving).☆18Dec 19, 2025Updated 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Official Implementation of VideoDPO☆163Jun 1, 2025Updated 9 months ago
- A greedy snake AI implemented with reinforcement learning(D3QN) algorithm under PyTorch framework.一个在PyTorch框架下使用强化学习(D3QN)实现的贪吃蛇AI。☆17Dec 21, 2022Updated 3 years ago
- 基于Qt的不围棋(nogo)单机对战平台，包含基于MCTS的AI对战Bot☆18Oct 3, 2022Updated 3 years ago
- 第十九届“挑战杯”揭榜挂帅专项赛华为赛道打榜第一&国家特等奖-拔萝卜的工程队作品仓库 19th Challenge Cup National Grand Prize☆35Mar 18, 2026Updated last week
- ☆28Jun 4, 2025Updated 9 months ago
- RUC课程复习笔记, 大作业源代码, 实验报告等资源。包括操作系统, 数据科学导论, 算法导论, 数据库系统概论, 计算机组成原理, 编译原理, 计算机网络, 计算理论导论, 网络群体与市场, 图论, 国际金融与理财, 金融经济学基础☆67Jul 8, 2021Updated 4 years ago
- 华科计算机学院23级课程存档☆37Updated this week
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- Lean 函数式编程☆44Dec 17, 2025Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- [CVPR 2025 Highlight] InPO: Inversion Preference Optimization with Reparametrized DDIM for Efficient Diffusion Model Alignment☆44Jun 29, 2025Updated 9 months ago
- Windows taskbar toolbar indicators☆59Nov 18, 2019Updated 6 years ago
- Dlib/dlib compiled from source for Python 3.9☆39Apr 14, 2022Updated 3 years ago
- HUST华中科技大学CS23课程记录：C语言程序设计、计算思维、微积分、线性代数、数据结构data structure、程序设计sat dpll sudoku、离散数学、军事理论、CPP/C++、习思想、人工智能导论、大学物理、数字电路、数电、电路理论、离散数学、算法设计与…☆136Sep 4, 2025Updated 6 months ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Mathlib search tool☆130Updated this week
- Implementation of Infini-Transformer in Pytorch☆112Jan 4, 2025Updated last year
- List of LaTeX template for theses☆55Oct 15, 2016Updated 9 years ago
- Educational implementation of the Discrete Flow Matching paper☆133Aug 26, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 这里是答案同志们☆42Jan 8, 2026Updated 2 months ago
- A simple raytracer written in Lean 4☆143May 16, 2024Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆219May 28, 2025Updated 10 months ago
- Unofficial PyTorch implementation of the VideoLDM.☆165Jul 3, 2023Updated 2 years ago
- 伯克利的CS61A22Fall的所有hw lab projec，以及中译本教材☆75Apr 13, 2025Updated 11 months ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆371Dec 22, 2023Updated 2 years ago
- Repository of Transformer based PyTorch Time Series Models☆320Nov 8, 2024Updated last year
- RUC Educational Database Project open lab☆231Mar 23, 2026Updated last week
- My notes for Tim Roughgarden's awesome course on Algorithms and his 4 part books☆162Jan 30, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Official Pytorch Implementation of Synthesizing Coherent Story with Auto-Regressive Latent Diffusion Models☆202Jul 9, 2023Updated 2 years ago
- [TOG 2024]StyleCrafter: Enhancing Stylized Text-to-Video Generation with Style Adapter☆267Apr 5, 2025Updated 11 months ago
- [CVPR 2024] EvalCrafter: Benchmarking and Evaluating Large Video Generation Models☆191Oct 3, 2024Updated last year
- An efficient storage and compute engine for both on-prem and cloud-native data analytics.☆897Updated this week
- [CVPR 2025] Aesthetic Post-Training Diffusion Models from Generic Preferences with Step-by-step Preference Optimization☆266Apr 7, 2025Updated 11 months ago
- ☆277Feb 28, 2025Updated last year
- Overseas Summer Research Guidance 海外暑研申请指南☆372Aug 28, 2025Updated 7 months ago