ソフトウェア

• Graphcal

  スプレッドシートに代わる、型と単位を検査するリアクティブな工学計算言語。

  Rust

  • graphcal.org
  • Playground
  • GitHub
  • crates.io

  // `Velocity` and `Acceleration` are prelude dimensions.
  
  param dry_mass: Mass = 1200.0 kg;
  param fuel_mass: Mass = 2800.0 kg;
  param isp: Time = 320.0 s;
  const node g0: Acceleration = 9.80665 m/s^2;
  
  node v_exhaust: Velocity = @isp * @g0;
  node mass_ratio: Dimensionless = (@dry_mass + @fuel_mass) / @dry_mass;
  node delta_v: Velocity = @v_exhaust * ln(@mass_ratio);

• Tenax

  深い不確実性の下でのシナリオ発見とロバスト意思決定のツールキットです。最初に実装した手法は PRIM です。

  Rust

  • GitHub

  拡大

  PRIM閉じる

• Veriq

  要求検証と設計計算を管理する Python ライブラリです。計算の依存関係を追い、要求を満たすかを自動で検証します。

  Python

  • GitHub
  • PyPI
  • ドキュメント

  import veriq as vq
  from pydantic import BaseModel
  from typing import Annotated
  
  project = vq.Project("MySatellite")
  power = vq.Scope("Power")
  project.add_scope(power)
  
  @power.root_model()
  class PowerModel(BaseModel):
      battery_capacity: float  # in Watt-hours
  
  @power.verification()
  def verify_capacity(
      capacity: Annotated[float, vq.Ref("$.battery_capacity")],
  ) -> bool:
      return capacity >= 100.0  # Minimum 100 Wh

• Capsula

  コマンドの実行前後に、git の状態・環境変数・ファイルを記録して保存します。

  Rust

  • GitHub
  • crates.io
  • ドキュメント

  拡大

  A run and its record閉じる

• Procnote

  手順書を一歩ずつ実行し、記録するデスクトップアプリ

  Rust + Svelte

  • GitHub

  拡大

  Executing a procedure閉じる

• DropPoint

  暗号文だけを預かる、一時的なファイル受け渡しの中継サーバ

  Go

  • GitHub

  拡大

  A drop point, end to end閉じる

• git-vet

  Git の blob ID でレビュー済みを記録するツール

  Rust

  • GitHub
  • crates.io

  拡大

  git vet status閉じる

• OneShot Rust

  できるだけ少ないコンパイル回数で全テストを通すブラウザゲーム

  Rust

  • oneshotrust.dev

  拡大

  oneshotrust.dev閉じる

• COSMICA

  光通信衛星コンステレーションのシミュレータ

  Python

  • GitHub
  • PyPI
  • ドキュメント

  # Build the links available at each time step.
  gateway_to_constellation = build_elevation_based_g2c_topology(
      constellation,
      ground_nodes=[gateway],
      dynamics_data=dynamics_data,
  )
  user_to_constellation = build_max_connection_time_us2c_topology(
      constellation,
      user_satellites=[user_satellite],
      dynamics_data=dynamics_data,
  )
  inter_satellite_links = build_manhattan_topology(constellation)

• Scholark

  学会の日程と締切を記録・共有する、研究者向けの Web アプリ

  TS + Python

  • GitHub

  拡大

  Conferences and their deadlines閉じる

• stellar-iac

  IAC 原稿用の非公式 Typst テンプレート

  Typst

  • GitHub
  • Typst Universe

  拡大

  The top of the first page閉じる

• ukaren-typst-template

  宇宙科学技術連合講演会の予稿集原稿用 Typst テンプレート

  Typst

  • GitHub

  拡大

  The top of the first page閉じる

• streamlit-pydantic-form

  Pydantic のモデルから作る Streamlit のフォーム部品

  Python

  • GitHub

  class SimpleFormModel(BaseModel):
      slider_val: Annotated[int, widget.Slider("Form slider")]
      checkbox_val: Annotated[bool, widget.Checkbox("Form checkbox")]
  
  
  with st_auto_form("form_1", model=SimpleFormModel) as simple_form:
      val = simple_form.input_widgets()
      submitted = st.form_submit_button("Submit")
      if submitted:
          st.write("slider", val.slider_val, "checkbox", val.checkbox_val)

• bounded-models

  Pydantic モデルの有界性の検査と一様サンプリング

  Python

  • GitHub
  • PyPI

  class MyModel(BoundedModel):
      x: float = Field(ge=0.0, le=1.0)
      y: float = Field(ge=-10.0, le=10.0)
  
  
  registry = FieldHandlerRegistry.default()
  
  # Sample from unit hypercube
  instance = registry.sample_model([0.5, 0.75], MyModel)
  # MyModel(x=0.5, y=5.0)

• pdag

  Veriq と Graphcal の前身。アーカイブ済み

  Python

  • GitHub

  class SquareModel(pdag.Model):
      """Square model that squares a number."""
  
      x = pdag.RealParameter("x")
      y = pdag.RealParameter("y")
  
      @pdag.relationship
      @staticmethod
      def square(
          x_arg: Annotated[float, x.ref()],
      ) -> Annotated[float, y.ref()]:
          return x_arg**2