Software

• Graphcal

  A type-safe, unit-aware reactive language for engineering calculations that replaces spreadsheets.

  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

  A toolkit for scenario discovery and robust decision-making under deep uncertainty, starting with PRIM.

  Rust

  • GitHub

  Enlarge

  PRIMClose

• Veriq

  A Python library for requirements verification and design calculation management that tracks calculation dependencies and verifies requirements automatically.

  Python

  • GitHub
  • PyPI
  • docs

  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

  Captures git state, environment variables and files before and after a command runs.

  Rust

  • GitHub
  • crates.io
  • docs

  Enlarge

  A run and its recordClose

• Procnote

  Desktop app for executing and recording step-by-step procedures.

  Rust + Svelte

  • GitHub

  Enlarge

  Executing a procedureClose

• DropPoint

  Temporary file handoff relay that stores only ciphertext.

  Go

  • GitHub

  Enlarge

  A drop point, end to endClose

• git-vet

  Records reviewed file contents, keyed by Git blob ID.

  Rust

  • GitHub
  • crates.io

  Enlarge

  git vet statusClose

• OneShot Rust

  Browser game: pass all tests in Rust with the fewest compiles.

  Rust

  • oneshotrust.dev

  Enlarge

  oneshotrust.devClose

• COSMICA

  Optical communication constellation simulator.

  Python

  • GitHub
  • PyPI
  • docs

  # 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 app for tracking and sharing conference deadlines.

  TS + Python

  • GitHub

  Enlarge

  Conferences and their deadlinesClose

• stellar-iac

  Unofficial Typst template for IAC manuscripts.

  Typst

  • GitHub
  • Typst Universe

  Enlarge

  The top of the first pageClose

• ukaren-typst-template

  Typst template for Space Sciences and Technology Conference papers.

  Typst

  • GitHub

  Enlarge

  The top of the first pageClose

• streamlit-pydantic-form

  Streamlit form component defined by a Pydantic model.

  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

  Boundedness check and uniform sampling of Pydantic models.

  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

  Precursor of Veriq and Graphcal; archived.

  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