cybcat's homepage
☆12Nov 12, 2026Updated this week
Alternatives and similar repositories for cybcatppuccino.github.io
Users that are interested in cybcatppuccino.github.io are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 代数基本观念☆39Jun 15, 2026Updated 4 months ago
- Python implementation of Sum-of-Squares optimization built on picos☆41Oct 5, 2024Updated 2 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 8 months ago
- An open-source add-on for YALMIP to solve optimisation problems with polynomial quadratic integral inequality constraints.☆10Jun 15, 2022Updated 4 years ago
- A modular decision-making framework combining graph-based physical perception with LLM-driven reasoning, tested in dynamic and uncertain …☆12Feb 27, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Auto math prover.☆10Jul 10, 2024Updated 2 years ago
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆13Nov 6, 2026Updated last week
- Arabic Programming Language☆11May 7, 2021Updated 5 years ago
- A C++ implementation of a Six Degrees of Freedom (6-DOF) rigid-body missile simulation, modeling translational and rotational dynamics in…☆15Apr 24, 2026Updated 6 months ago
- Moved to Codeberg☆10Jan 10, 2026Updated 10 months ago
- datageratview合并单元格☆10Dec 18, 2016Updated 9 years ago
- Personal website of Xiangdong Zeng☆12Jul 5, 2026Updated 4 months ago
- A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on…☆12Jul 7, 2024Updated 2 years ago
- An over-simplified MATLAB kinematics simulation that demonstrates the use of pure pro-nav for target pursuit.☆15Feb 18, 2022Updated 4 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.
- An aggregation of links to course materials for the AA 274 set of courses at Stanford.☆17Sep 21, 2020Updated 6 years ago
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆19Feb 3, 2024Updated 2 years ago
- ☆15Aug 14, 2026Updated 3 months ago
- 北京交通大学非官方跨平台校园服务客户端 —— 让校园学习生活更便捷☆18Updated this week
- Devous Devices - Assets☆13Nov 23, 2016Updated 9 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 9 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆136Updated this week
- Phantom Blade Zero offline save & inventory editor for Windows. Item icons, map filters, undo and backups. / 影之刃零物品编辑器，中英双语。☆27Nov 1, 2026Updated last week
- Arbitrary Precision provides C++ big integer types that behave as built-in ones. The library aims to be intuitive and versatile with dece…☆27Jul 2, 2023Updated 3 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.
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 7 months ago
- Debug Java like an agent: persistent runtime sessions, safe JDI inspection, jdb fallback, and MCP/CLI control.☆11Jul 14, 2026Updated 4 months ago
- A customizable animated CRT text renderer for the web.☆41Sep 11, 2026Updated 2 months ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- Hands-on workshop on learning how to develop AI-based autonomous mobile robot☆20Jun 6, 2024Updated 2 years ago
- Hijri Islamic Calendar utils in python☆16Jan 16, 2020Updated 6 years ago
- ☆17Aug 30, 2026Updated 2 months ago
- RPL++ - Stack-based Reverse polish notation Programming Language☆16Dec 3, 2021Updated 4 years ago
- TTF and OTT Files for some Coding Fonts☆15Nov 4, 2022Updated 4 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.
- Devious Devices - Expansion☆16Oct 30, 2018Updated 8 years ago
- 一个开源的ASCII艺术生成器，支持图片、视频和文本的多种格式转换。提供丰富的自定义选项，包含详细的使用说明，让初学者也能轻松上手。☆18Nov 29, 2024Updated last year
- A template for writing SKSE Skyrim plugins with Rust using CXX.☆13Aug 1, 2024Updated 2 years ago
- ☆17Apr 23, 2025Updated last year
- CLI for OSX Dictionary.app☆11Mar 24, 2017Updated 9 years ago
- 会说话的桌面 AI 助手（番茄钟/备忘录/音乐）微雪 ESP32-S3 （waveshare-s3-rlcd-4.2）☆23Mar 28, 2026Updated 7 months ago
- A desk thermometer whitch features a tri-color E-paper display powered by an ESP32, with Web Dashboard☆17Feb 22, 2025Updated last year
Are these results useful?