Skip to content

@se-uec se-uec

Change the repository type filter

All

    Repositories list

    39 repositories

    • 2025-y2311225-alloy

      Public
      2026年ソフトウェア工学期末レポート Alloyによる検証
      C++
      •
      Other
      •4.3k•0•0•0•Updated Feb 6, 2026Feb 6, 2026

    • 2025-s2311108-alloy

      Public
      電気通信大学 MICS ソフトウェア工学 期末レポート
      C
      •
      Other
      •28k•0•0•0•Updated Feb 6, 2026Feb 6, 2026

    • 2025-s2311127-alloy

      Public
      Verification using alloy of Circuit Breaker implemented in Go
      Go
      •
      MIT License
      •217•0•0•0•Updated Feb 5, 2026Feb 5, 2026

    • 2025-example-alloy

      Public
      0•0•0•0•Updated Dec 27, 2025Dec 27, 2025

    • 2025-i2311025-tdd

      Public
      ソフトウェア工学中間課題
      TypeScript
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-y2311225-tdd

      Public
      ソフトウェア工学2025 中間レポート
      Python
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-k2311064-tdd

      Public
      Rust
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-s2311108-tdd

      Public
      電気通信大学 MICS ソフトウェア工学 中間課題
      Python
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-k2110204-tdd

      Public
      mini mathmatical library in Rust
      Rust
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-y2311219-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-s2311127-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-n2311156-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • 2025-t2311151-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • 2025-y1910663-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 21, 2025Dec 21, 2025

    • 2025-t2311142-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 21, 2025Dec 21, 2025

    • 2025-f2324025-tdd

      Public
      本リポジトリは、テスト駆動開発（TDD）の実演を目的として作成した 元号と西暦を相互に変換する C 言語プログラムである。
      C
      •1•0•0•0•Updated Dec 21, 2025Dec 21, 2025

    • 2025-a2210002-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 21, 2025Dec 21, 2025

    • 2024-t2220021-alloy

      Public
      Reads key-value pairs from a .env file and can set them as environment variables. It helps in developing applications following the 12-factor principles.
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •521•0•0•0•Updated Feb 1, 2025Feb 1, 2025

    • 2024-s2210336-alloy

      Public
      Helping you select a JavaScript framework - Todo apps for React.js, Angular, Vue and many more
      JavaScript
      •
      Other
      •14k•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • 2024-e2110121-alloy

      Public
      Alloy
      •5•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • 2024-t2210373-alloy

      Public
      Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted…
      C
      •
      Other
      •25k•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • 2024-s2210337-alloy

      Public
      The MongoDB Database
      C++
      •
      Other
      •5.8k•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • 2024-m2210625-alloy

      Public
      YAML Specification
      HTML
      •86•0•0•0•Updated Jan 30, 2025Jan 30, 2025

    • 2024-m2210593-alloy

      Public
      Alloy Practice for Software Engineering Assignment at UEC (Department of I)
      Python
      •
      MIT License
      •998•0•0•0•Updated Jan 30, 2025Jan 30, 2025

    • 2024-example-alloy

      Public
      5•1•0•0•Updated Dec 25, 2024Dec 25, 2024

    • 2024-m1910625-tdd

      Public
      Python
      •1•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • 2024-n2210455-tdd

      Public
      大学の課題
      Python
      •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • 2024-s2210337-tdd

      Public
      球体ピンアレイインターフェースのファームウェアと筐体の3Dデータを管理する
      C
      •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • 2024-t2210444-tdd

      Public
      C
      •1•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • 2024-h2210513-tdd

      Public
      1•0•0•0•Updated Dec 9, 2024Dec 9, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.