Modern asynchronous version management system
☆11Mar 16, 2026Updated last month
Alternatives and similar repositories for YuanShen
Users that are interested in YuanShen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Jupyter中文集成版(Python整合版)，是把python3.8和jupyter notebook高度集成，jupyter傻瓜式安装，用最简洁友好的纯中文方式(jupyter汉化100%)展现出来的优秀Jupyter绿色使用工具。本工具，把Jupyter的复杂操作简单…☆12Feb 11, 2022Updated 4 years ago
- ☆14Jan 18, 2026Updated 3 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 4 months ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- ☆10Aug 27, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 2 years ago
- 2025GitHub年度总结☆18Dec 24, 2025Updated 4 months ago
- opengl es测试工程☆11Jan 31, 2024Updated 2 years ago
- 「截图猜动画」在线小游戏☆26Feb 25, 2025Updated last year
- Process the live streaming or VOD from eplus.jp .☆19Nov 5, 2024Updated last year
- Android performance profiling tool☆14Jul 16, 2025Updated 9 months ago
- a skill for lovart agent☆45Apr 23, 2026Updated 2 weeks ago
- A GUI tool to convert .NET .pdb files to Mono .mdb files.☆20Apr 9, 2018Updated 8 years ago
- 基于arxiv的论文检索和阅读工具☆25Jan 4, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 散樱乱武桌游组卡器（含随机抽取、组卡& 分享、扩展玩法、卡组广场，FAQ查看等功能），19年6月24日上线，最近一年使用用户已经达到1.1万+人。☆12Feb 26, 2026Updated 2 months ago
- 将图片转换为gif以干扰用户截图☆16Sep 20, 2020Updated 5 years ago
- Hexo Theme Unicorn， a functional but neat hexo theme. based on hexo-theme-butterfly☆16Oct 13, 2024Updated last year
- 现代 Web 编程语言体系☆10Nov 9, 2021Updated 4 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- The Linux Simulator☆15Mar 23, 2023Updated 3 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- Image compression plugin for PicGo(>=^2.3.0). Update, adapt and optimize. Better support and richer features☆33Aug 7, 2024Updated last year
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CP+SAT solver framework built to be reliable, performant, and extensible☆31May 1, 2026Updated last week
- A framework to ease parallelization of sequential SAT solvers☆35Updated this week
- Guidance for courses in School of Information Science and Technology, NENU☆19May 27, 2024Updated last year
- Dinghow's notes about Digital Art, School of Software Engineering, Tongji University☆12Sep 23, 2019Updated 6 years ago
- Asynchronously writes journal and snapshot entries to configured R2DBC databases so that Apache Pekko Actors can recover state☆19Updated this week
- Advanced Programming - HW6☆19Jun 5, 2022Updated 3 years ago
- An effect-management library for React☆14Dec 19, 2020Updated 5 years ago
- Compile module in WebRTC Native to static library☆27Apr 15, 2020Updated 6 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- AI Agents on 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.
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- Provides a frame iterator for videos by using ffmpeg. Decodes images using the image crate.☆12Mar 31, 2021Updated 5 years ago
- Configurable figure numbering per section in Typst.☆35May 26, 2025Updated 11 months ago
- Software Engineering Economy | Tongji Univ. SSE Course Design☆11Sep 19, 2020Updated 5 years ago
- A version of Mathematica for golfing purposes.☆11Apr 1, 2024Updated 2 years ago
- ☆10Feb 14, 2020Updated 6 years ago
- 三国杀 for TI-Nspire☆14May 4, 2022Updated 4 years ago