Modern asynchronous version management system
☆11Mar 16, 2026Updated 4 months 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
- ☆15Jan 18, 2026Updated 6 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 6 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 Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- opengl es测试工程☆11Jan 31, 2024Updated 2 years ago
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 2 years ago
- Process the live streaming or VOD from eplus.jp .☆19Nov 5, 2024Updated last year
- 「截图猜动画」在线小游戏☆27Feb 25, 2025Updated last year
- ☆15Feb 26, 2026Updated 5 months ago
- Android performance profiling tool☆15Jul 16, 2025Updated last year
- 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
- Guidance for courses in School of Information Science and Technology, NENU☆19Jul 20, 2026Updated last week
- 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.
- 散樱乱武桌游组卡器（含随机抽取、组卡&分享、扩展玩法、卡组广场，FAQ查看等功能），19年6月24日上线，最近一年使用用户已经达到1.1万+人。☆12Jul 22, 2026Updated last week
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- 现代 Web 编程语言体系☆10Nov 9, 2021Updated 4 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- 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
- The Linux Simulator☆15Mar 23, 2023Updated 3 years ago
- A replicated Apache Pekko Persistence journal backed by Apache Cassandra☆15Updated this week
- 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.
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Asynchronously writes journal and snapshot entries to configured R2DBC databases so that Apache Pekko Actors can recover state☆21Updated this week
- Compile module in WebRTC Native to static library☆27Apr 15, 2020Updated 6 years ago
- An effect-management library for React☆14Dec 19, 2020Updated 5 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 4 years ago
- Provides a frame iterator for videos by using ffmpeg. Decodes images using the image crate.☆12Mar 31, 2021Updated 5 years ago
- Dinghow's notes about Digital Art, School of Software Engineering, Tongji University☆12Sep 23, 2019Updated 6 years ago
- Advanced Programming - HW6☆20Jun 5, 2022Updated 4 years ago
- A version of Mathematica for golfing purposes.☆11Apr 1, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A toy for exploring arbitrary MAP rules (life-like rules, isotropic rules and so on)☆16Dec 11, 2025Updated 7 months ago
- Software Engineering Economy | Tongji Univ. SSE Course Design☆11Sep 19, 2020Updated 5 years ago
- Experiments with idea from the blog post "Stack-safety for free?"☆12Nov 29, 2021Updated 4 years ago
- ☆10Feb 14, 2020Updated 6 years ago
- A rust procedural macro to add build info at compile time☆17Sep 28, 2023Updated 2 years ago
- Representing Wolfram Language expressions in Rust.☆23Jun 15, 2026Updated last month
- An ASCII-based golfing language☆14Jan 7, 2023Updated 3 years ago