LLM-Driven GUI Generation Decomposition for Automated Prototyping
☆13Feb 3, 2025Updated last year
Alternatives and similar repositories for GUIDE
Users that are interested in GUIDE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, t…☆20Aug 16, 2025Updated last year
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- ☆15Mar 23, 2023Updated 3 years ago
- AWS CloudFormation template for a Pi-hole over VPN using docker containers☆19Apr 19, 2020Updated 6 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.
- Collection of "official" ontologies of universAAL, which play the role of data model☆13Apr 10, 2025Updated last year
- System behavior is often expressed by causal relations in requirements (e.g. if event 1 then event 2). Automatically extracting this embe…☆13Oct 24, 2021Updated 5 years ago
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Nov 20, 2019Updated 6 years ago
- A collection of StrictDoc templates for various standards.☆24Oct 22, 2026Updated last week
- ☆16Sep 28, 2026Updated last month
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years ago
- Portable MBSE domain agents for AI-assisted systems engineering☆28Oct 12, 2026Updated 2 weeks ago
- Different entries to kaggle contests using Apache Spark☆13Jun 5, 2017Updated 9 years ago
- An evaluation of XCP protocol while integrating 3rd party sw - vector xcp stack, FreeRTOS on TIVA C Series board (XCP on CAN) and Raspber…☆18Jan 1, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 深度学习入门教程&&优秀文章&&Deep Learning Tutorial☆16Oct 6, 2019Updated 7 years ago
- Unique identification of 50,000+ virtual reality users from their head and hand motion data☆15May 14, 2023Updated 3 years ago
- ☆18Feb 7, 2026Updated 8 months ago
- flask实现的简单进销存后台管理系统☆22Mar 31, 2019Updated 7 years ago
- ☆24Dec 28, 2024Updated last year
- Owl Eyes: Spotting UI Display Issues via Visual Understanding☆22Nov 15, 2021Updated 4 years ago
- Automation and convenience in for setting up a S.H.M.A.C.K. stack with DC/OS on AWS☆18Jul 25, 2018Updated 8 years ago
- A Lightweight Command-line Interface (Cli) Task Tracker Developed in Go. Manage Your Tasks, Set Priorities, and Track Progress Efficientl…☆15Jun 2, 2026Updated 4 months ago
- Auto Judger for BUAA-SE-OOP Course (2021 Spring)☆30Oct 28, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- RelationalGit extracts valuable information about commits, blame, changes, devs, and pull requests out of git's data structure and import…☆17Mar 16, 2026Updated 7 months ago
- Simple, fast and efficient Spotify AdBlocker for Linux and Windows users.☆13May 9, 2020Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- A Human-in-the-Loop Workflow for Scientific Schema Mining with Large Language Models☆40Aug 14, 2026Updated 2 months ago
- Plaud → Claude → Obsidian Audio Pipeline An automated pipeline that transcribes audio recordings from a Plaud device and converts them in…☆39Mar 8, 2026Updated 7 months ago
- Sandboxed code execution daemon with enforced memory, CPU, and output limits. JSON API for humans and AI agents.☆12May 21, 2026Updated 5 months ago
- 南方科技大学润扬羽毛球馆预约脚本（本脚本已进行负优化，仅供交流，勿直接使用）☆19Mar 3, 2025Updated last year
- Engage!☆11Aug 12, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- Defining the semantics of K in K☆16May 6, 2020Updated 6 years ago
- WCAG Conformance Test Rules☆34Updated this week
- 使用ResNet网络进行十种食物图像分类，基于迁移学习方法训练☆25Jan 9, 2023Updated 3 years ago
- ☆21Sep 2, 2026Updated last month
- SparkLabs - The First AI-Native Game Engine. Ignite Your Infinite Play! 💥 🎮☆14Aug 15, 2026Updated 2 months ago
- Prop Compiler Compiler is a an augmented C++ to C++ translator. Adding Alegebraic Data Types, pattern matching, rewriting, parser generat…☆14May 6, 2015Updated 11 years ago