methodology-development

AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.

Glideship (formerly Bodhiorchard) is the open-source, self-hosted alternative to Jira and Linear for AI-native software teams. Specialised agents draft every spec, forecast cycle times, and reason over your real repositories, commits, and pull requests — replacing story points, standups, and stale tickets so engineers can focus on building.

[方法论]智能体skills；一键生成公众号文章和贴图、一键小红书信息图 && 技术选型、产品策略、战略分析、MVP、DDD、一次目标追踪器、使命必达skills

The science of computational science: R&D to improve scientific computing R&D.

The Pi Matrix is a generative tool used in ideation, creativity techniques and project completion. I

Specification intelligence methodology: structured context blocks for AI-ready development

Verified Intent Development (VID)

The Big Bang of Data Science- Research from the Start to The End- [Book One]

Theoretical mathematician. Formal verification (Lean 4/Mathlib) · measure-theoretic probability · information theory · reinforcement learning lower bounds · martingale theory · domain translation. Author of Ismail's Primitives (zero sorry) and Ismail's Glossary, a complete Mathlib4 index.

Repositório do desafio final da pós-graduação XP Educação em Projeto Aplicado. Implementa uma solução modular em .NET 8, que materializa a metodologia sistemática para refatoração de monólitos em monólitos modulares baseada em análises multi-perspectiva (estática, dinâmica, de domínio e de evolução histórica).

Agil Methodology Test Double dummy stub mock spy fake TDD

🏗️ Universal 8-phase methodology for planning and building enterprise-grade, mission-critical software with AI coding agents. Supports Cursor AI, Claude Code, Kimi Code, Windsurf & Google Antigravity. Includes ADR validator, microtask linter & CI/CD templates. ≥99% test coverage. MIT.

Java Developer with 5+ years of experience.

Adversarial verification layer for AI coding assistants. Based on IACDM — Interactive Adversarial Convergence Development Methodology. The AI proposes. Versus critiques.