Repository for ICSE 2024 submission
☆11Apr 1, 2024Updated 2 years ago
Alternatives and similar repositories for Yuga
Users that are interested in Yuga are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆65Feb 15, 2023Updated 3 years ago
- Data processing pipelines☆14Updated this week
- ☆160May 24, 2024Updated 2 years ago
- Examples violating memory safety in safe Rust.☆13Oct 5, 2024Updated 2 years ago
- ☆36May 15, 2022Updated 4 years 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.
- 金山魔方AR贴纸、美颜美型Android：贴纸包含2D贴纸和3D动态贴纸；美颜美型包括滤镜、大眼瘦脸、磨皮美白等功能☆11Aug 16, 2018Updated 8 years ago
- 📘MrTranslator-A Translation Android APP☆18Mar 31, 2021Updated 5 years ago
- Cargo Sherlock 🕵️ is an automated reasoning tool for quantify trust in Rust software.☆17Sep 4, 2026Updated last month
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated last month
- A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.☆223Updated this week
- An internal cheat for AssaultCube on Linux written in Rust☆17Jun 4, 2021Updated 5 years ago
- Trait synonyms for “Fn[…]”-trait bounds returning futures☆24Dec 7, 2021Updated 4 years ago
- Yet another Rust MIR analysis tool☆16Sep 29, 2026Updated 2 weeks ago
- Safe Interactions with Foreign Languages through Omniglot☆48Dec 9, 2025Updated 10 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- setup for fuzzing the Rust compiler☆60Mar 17, 2025Updated last year
- A fully automated Rust fuzz driver generator☆63Jun 17, 2025Updated last year
- Public PoC + Scanner and research for CVE-2025-68613: Critical RCE in n8n Workflow Automation via Expression Injection (CVSS 10.0). Inclu…☆29Dec 26, 2025Updated 9 months ago
- Simple Rust library for IP geolocation.☆13Oct 4, 2024Updated 2 years ago
- 《Rust 编译模型之殇》中文翻译项目☆22Feb 25, 2020Updated 6 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 4 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆27Jul 26, 2018Updated 8 years ago
- Rust crate to enable ANSI escape code support on Windows.☆16Apr 14, 2026Updated 6 months ago
- Which functions call each other in your rust crate? Static call graph analysis.☆41Oct 2, 2024Updated 2 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.
- A very simple third-party cargo subcommand to execute a custom command☆13Aug 21, 2026Updated last month
- Rust-prometheus workshop for RustCon Asia 2019☆20Apr 23, 2019Updated 7 years ago
- ☆11May 7, 2024Updated 2 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- A randomized program fuzzer for the Rust programming language☆67Jul 21, 2023Updated 3 years ago
- Tiny games that can be played right in the terminal☆18Nov 7, 2022Updated 3 years ago
- the C* language☆12Apr 6, 2022Updated 4 years ago
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]☆29May 19, 2019Updated 7 years ago
- Use your commit log to make a beautiful changelog file.☆15Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust port of ffmpeg's native AAC encoder☆12Jul 20, 2024Updated 2 years ago
- Iran Supreme Council of Information and Communication Technology (SCICT) standard Persian fonts☆13Feb 29, 2020Updated 6 years ago
- ☆20Nov 20, 2019Updated 6 years ago
- 本项目是一款基于Android手机平台的背单词软件，利用手机解锁记忆单词。锁屏背单词力争帮大家合理地利用好碎片时间，把原本无用的时间变得有用，把没有意义的事情（解锁）变得有意义。☆22Jun 27, 2019Updated 7 years ago
- Sogou scel to txt, which can be used by rime☆21Jul 29, 2020Updated 6 years ago
- AIDL compiler for C++ on Linux Desktop☆13Aug 17, 2016Updated 10 years ago
- ChibiOS for Rust☆18Aug 25, 2019Updated 7 years ago