Skip to content
@ut-issl

Intelligent Space Systems Laboratory, The University of Tokyo

東京大学 航空宇宙工学専攻 船瀬・五十里研究室の公開リポジトリ
README.md

Intelligent Space Systems Laboratory, The University of Tokyo

Pinned Loading

  1. c2a-core c2a-core Public

    Satellite Flight Software: Command-Centric Architecture

    C 62 10

  2. s2e-core s2e-core Public

    Spacecraft Simulation Environment Core codes

    C++ 63 19

  3. wings wings Public

    Web-based INterface Ground-station Software

    C# 8 4

  4. s2e-documents s2e-documents Public

    Documents for Spacecraft Simulation Environment

    C 17 8

Repositories

Showing 10 of 47 repositories
  • inka Public

    Structured argumentation with accountable approvals. Text-based, LSP-powered, built for iterative development.

    ut-issl/inka's past year of commit activity
    Rust 2 Apache-2.0 0 28 17 Updated Nov 15, 2026
  • personal-nix-config-template Public template

    Personal Home Manager config template for the ISSL environment

    ut-issl/personal-nix-config-template's past year of commit activity
    Nix 0 0 2 0 Updated Nov 15, 2026
  • issl-environment Public

    Reproducible shared environment for ISSL

    ut-issl/issl-environment's past year of commit activity
    Shell 0 Apache-2.0 0 5 0 Updated Nov 15, 2026
  • procnote Public

    A procedure execution tool for tracking step-by-step procedures with checkboxes, data inputs, attachments, and notes.

    ut-issl/procnote's past year of commit activity
    Rust 11 Apache-2.0 0 10 0 Updated Nov 14, 2026
  • capsula Public

    CLI tool to run pre-run and post-run hooks for capturing and preserving the context of your command executions

    ut-issl/capsula's past year of commit activity
    Rust 17 Apache-2.0 2 50 (2 issues need help) 7 Updated Nov 13, 2026
  • s2e-core Public

    Spacecraft Simulation Environment Core codes

    ut-issl/s2e-core's past year of commit activity
    C++ 63 MIT 19 53 (5 issues need help) 19 Updated Nov 13, 2026
  • wings Public

    Web-based INterface Ground-station Software

    ut-issl/wings's past year of commit activity
    C# 8 MIT 4 3 14 Updated Nov 11, 2026
  • veriq Public

    Lightweight requirements verification tool in Python

    ut-issl/veriq's past year of commit activity
    Python 15 MIT 1 41 7 Updated Nov 11, 2026
  • wings-tmtc-if Public
    ut-issl/wings-tmtc-if's past year of commit activity
    C# 4 MIT 2 1 8 Updated Nov 10, 2026
  • cosmica Public

    Modular Python package for simulating optical communication satellite constellations

    ut-issl/cosmica's past year of commit activity
    Python 3 Apache-2.0 1 19 5 Updated Nov 9, 2026
View all repositories