CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.

A typst package to render sourcecode

A typst package to add typsetting to units!

emulate terminal screenshots in typst

NASA Operational Simulator for Small Satellites

A Python package to record function execution contexts for reproducibility

The AIPlan4EU Unified Planning Library

The ROSPlan framework provides a generic method for task planning in a ROS system.

The Open Scheduling and Planning Interface for Exploration (OpenSPIFe) is an integrated planning and scheduling toolkit based on hundreds of hours of expert observation, use, and refinement of stat…

This is a template project for starting an Aerie mission model.

The client application for Aerie.

F´ - A flight software and embedded systems framework

A software framework for modeling spacecraft.