conjikidow

conjikidow's Stars

• plaans/aries

  Toolbox for automated planning and combinatorial solving.

  Language:Rust468

• Genesis-Embodied-AI/Genesis

  A generative world for general-purpose robotics & embodied AI learning.

  Language:Python20k1.5k

• SINTEF/paraspace

  A simple, flexible and extensible solver for timeline-based planning problems using Z3 and a novel abstraction refinement algorithm.

  Language:Rust1

• touying-typ/touying

  Touying is a powerful package for creating presentation slides in Typst.

  Language:Typst95124

• cetz-package/cetz

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

  Language:Typst97439

• Leedehai/typst-physics

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

  Language:Typst37612

• jneug/typst-codelst

  A typst package to render sourcecode

  Language:Typst966

• fenjalien/metro

  A typst package to add typsetting to units!

  Language:Typst685

• qo/term

  emulate terminal screenshots in typst

  Language:Typst281

• nasa/nos3

  NASA Operational Simulator for Small Satellites

  Language:C39090

• shunichironomura/capsula

  A Python package to record function execution contexts for reproducibility

  Language:Python2

• aiplan4eu/unified-planning

  The AIPlan4EU Unified Planning Library

  Language:Python20242

• KCL-Planning/ROSPlan

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

  Language:C++362158

• nasa/OpenSPIFe

  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 state-of-the-art planning and scheduling technology for several applications within NASA.

  Language:Java10664

• plexil-group/plexil

  Language:C++173

• NASA-AMMOS/aerie-mission-model-template

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

  Language:Java41

• NASA-AMMOS/aerie-ui

  The client application for Aerie.

  Language:Svelte296

• nasa/europa

  Language:C++21872

• nasa/fprime

  F´ - A flight software and embedded systems framework

  Language:C++10.1k1.3k

• NASA-AMMOS/aerie

  A software framework for modeling spacecraft.

  Language:Java7521