Repositories list

• ae-framework

  Public
  AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.

  aitddmcp+ 11domain-driven-designci-cdcode-generationssotmodel-based-testingruntime-verificationformal-specification+ 4

  TypeScript

  •

  MIT License

  •1•1•31•1•Updated Sep 18, 2025Sep 18, 2025

• it-engineer-knowledge-architecture

  Public
  IT Engineer Knowledge Architecture / ITエンジニア知識アーキテクチャ

  Shell

  •

  Other

  •0•0•28•0•Updated Sep 12, 2025Sep 12, 2025

• ITDO_ERP3

  Public
  JavaScript

  •0•0•8•0•Updated Sep 12, 2025Sep 12, 2025

• book-formatter

  Public
  JavaScript

  •0•0•2•0•Updated Sep 11, 2025Sep 11, 2025

• req2run-benchmark

  Public
  Requirements-to-Running-Code benchmark for AI/LLM systems and frameworks—builds, runs, and auto-scores apps across functional and non-functional metrics.

  testingdockerkubernetes+ 17securitydevopsbenchmarkaimutation-testingintegration-testingowasp+ 10

  Python

  •

  MIT License

  •0•0•3•0•Updated Sep 8, 2025Sep 8, 2025

• ae-examples

  Public
  ae-framework implementation records and examples repository - for analysis and framework improvement

  TypeScript

  •0•0•3•0•Updated Aug 27, 2025Aug 27, 2025

• itdo-design-system

  Public
  🎨 ITDO Design System - Enterprise-grade UI component library and design guidelines for consistent, accessible, and efficient user interfaces across ITDO products. Built with React and modern CSS, featuring comprehensive documentation, live demos, and design tokens.

  TypeScript

  •0•0•0•0•Updated Aug 23, 2025Aug 23, 2025

• ae-actions

  Public
  0•0•0•0•Updated Aug 9, 2025Aug 9, 2025

• ae-starter

  Public template
  TypeScript

  •

  MIT License

  •0•0•0•0•Updated Aug 9, 2025Aug 9, 2025

• RigorFlow

  Public
  AI-driven development framework with adaptive formal methods - Build from PoC to mission-critical systems through AI chat dialogue

  tddbddsoftware-engineering+ 9formal-methodsbehavior-driven-developmenttest-driven-developmentdafnyclaudetla-plusdevelopment-framework+ 2

  Shell

  •

  MIT License

  •0•0•2•0•Updated Aug 8, 2025Aug 8, 2025

• RigorFlow.01

  Public
  Python

  •

  MIT License

  •0•0•4•0•Updated Aug 7, 2025Aug 7, 2025

• ITDO_ERP2

  Public
  ITDO ERP Project

  Python

  •0•0•55•3•Updated Jul 29, 2025Jul 29, 2025

• theoretical-computer-science-textbook-public

  Public archive
  HTML

  •0•0•3•1•Updated Jul 20, 2025Jul 20, 2025

• extic-tiered-access-gateway

  Public
  JavaScript

  •0•0•0•0•Updated May 27, 2025May 27, 2025

• PythonFletMultiplatformDevelop

  Public
  Python

  •0•0•0•1•Updated May 27, 2025May 27, 2025

• ExtBridge

  Public
  HTML

  •0•0•0•0•Updated May 21, 2025May 21, 2025