Skip to content
@pacti-org

Pacti-org

Contract-based system analysis and design

Pinned Loading

  1. pacti pacti Public

    A package for compositional system analysis and design

    Python 19 5

Repositories

Showing 10 of 12 repositories
  • pacti Public

    A package for compositional system analysis and design

    pacti-org/pacti’s past year of commit activity
    Python 19 BSD-3-Clause 5 24 0 Updated Oct 14, 2024
  • pacti-org.github.io Public

    Website

    pacti-org/pacti-org.github.io’s past year of commit activity
    HTML 0 1 0 0 Updated Oct 14, 2024
  • BioPacti Public
    pacti-org/BioPacti’s past year of commit activity
    Jupyter Notebook 0 BSD-2-Clause 0 0 0 Updated Mar 23, 2024
  • cs-biocircuits Public
    pacti-org/cs-biocircuits’s past year of commit activity
    Jupyter Notebook 1 1 0 0 Updated Jan 20, 2024
  • cs-space-mission Public
    pacti-org/cs-space-mission’s past year of commit activity
    Python 2 BSD-3-Clause 1 0 0 Updated Dec 30, 2023
  • pacti-instrumentation Public
    pacti-org/pacti-instrumentation’s past year of commit activity
    Python 0 0 0 0 Updated Dec 30, 2023
  • cs-multiagent-planning Public
    pacti-org/cs-multiagent-planning’s past year of commit activity
    Jupyter Notebook 1 1 1 1 Updated Dec 21, 2023
  • cs-uav-topologies Public

    UAV topology case study using Pacti

    pacti-org/cs-uav-topologies’s past year of commit activity
    Python 1 0 3 0 Updated Sep 2, 2023
  • cs-digital-signal-processing Public
    pacti-org/cs-digital-signal-processing’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Sep 2, 2023
  • cs-vehicle-perception Public

    Contract-based design for evaluating perception in the context of system-level specifications

    pacti-org/cs-vehicle-perception’s past year of commit activity
    Jupyter Notebook 0 1 2 1 Updated Sep 2, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…