Modern asynchronous version management system
☆10Mar 16, 2026Updated 2 weeks ago
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 2 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 2 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
- 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.
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 2 years ago
- 2025GitHub年度总结☆18Dec 24, 2025Updated 3 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 8 months ago
- A GUI tool to convert .NET .pdb files to Mono .mdb files.☆20Apr 9, 2018Updated 7 years ago
- 基于arxiv的论文检索和阅读工具☆25Jan 4, 2022Updated 4 years ago
- 散樱乱武桌游组卡器(含随机抽取、组卡&分享、扩展玩法、卡组广场,FAQ查看等功能),19年6月24日上线,最近一年使用用户已经达到1.1万+人。☆12Feb 26, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A framework to ease parallelization of sequential SAT solvers☆32Jan 14, 2026Updated 2 months ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆29Updated this week
- Hexo Theme Unicorn, a functional but neat hexo theme. based on hexo-theme-butterfly☆16Oct 13, 2024Updated last year
- 将图片转换为gif以干扰用户截图☆16Sep 20, 2020Updated 5 years ago
- 现代 Web 编程语言体系☆10Nov 9, 2021Updated 4 years ago
- The Linux Simulator☆15Mar 23, 2023Updated 3 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- Image compression plugin for PicGo(>=^2.3.0). Update, adapt and optimize. Better support and richer features☆32Aug 7, 2024Updated last year
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years 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.
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 9 months ago
- 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 5 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years 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.
- Provides a frame iterator for videos by using ffmpeg. Decodes images using the image crate.☆12Mar 31, 2021Updated 4 years ago
- Configurable figure numbering per section in Typst.☆34May 26, 2025Updated 10 months ago
- Software Engineering Economy | Tongji Univ. SSE Course Design☆11Sep 19, 2020Updated 5 years ago
- A concatenative cyborg chimera.☆10Dec 27, 2024Updated last year
- A version of Mathematica for golfing purposes.☆11Apr 1, 2024Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆32Dec 29, 2024Updated last year
- ☆10Feb 14, 2020Updated 6 years ago