Repositories list

• cats

  Public
  engineering

  engineering

  Python

  •

  MIT License

  •33 forks•1919 stars•4444 issues•00 pull requests•Updated Aug 25, 2026Aug 25, 2026

• civic-ai-tools

  Public
  Open-source platform connecting AI assistants to government open data — MCP server, curated civic MCP directory, and anti-hallucination framework for all 559 So…

  TypeScript

  •

  MIT License

  •1616 forks•00 stars•00 issues•00 pull requests•Updated Aug 18, 2026Aug 18, 2026

• koi-net

  Public
  Implementation of Knowledge Organization Infrastructure Network (KOI-net) protocol in Python

  koi

  koi

  Python

  •

  MIT License

  •33 forks•1919 stars•11 issue•00 pull requests•Updated Aug 6, 2026Aug 6, 2026

• zed

  Public
  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Rust

  •

  Other

  •10k10k forks•00 stars•00 issues•00 pull requests•Updated Aug 6, 2026Aug 6, 2026

• gds-core

  Public
  Generalized Dynamical Systems — typed compositional specifications for complex systems

  pythonverificationgame-theory+ 8

  pythonverificationgame-theorytype-systemblock-diagrammechanism-designpydanticgeneralized-dynamical-systemscompositional-systemscategorical-cybernetics+ 1

  Python

  •

  Apache License 2.0

  •00 forks•66 stars•3535 issues•22 pull requests•Updated Jul 29, 2026Jul 29, 2026

• flexo-mms-deployment

  Public
  Example docker compose and k8s files for deployment of Flexo MMS services

  Bru

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jul 7, 2026Jul 7, 2026

• civic-claim-provenance

  Public
  Assurance layer for civic AI: inspectable chain of evidence for one NYC composting claim, human judgment authoritative. DSG hackathon. MVC: M=Flexo+ontology, V=…

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 1, 2026Jul 1, 2026

• crayon

  Public
  A thin, serverless seam: write in Google Docs, govern in GitHub. Spec stage.

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 24, 2026Jun 24, 2026

• koi-net-graph-extension

  Public
  Python

  •11 fork•00 stars•00 issues•11 pull request•Updated Jun 18, 2026Jun 18, 2026

• rid-lib

  Public
  Implementation of Reference Identifiers (RIDs) protocol in Python

  Python

  •

  MIT License

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jun 18, 2026Jun 18, 2026

• dynamicalsystemsgroup.github.io

  Public
  HTML

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2026Jun 15, 2026

• ADCS-lifecycle-demo

  Public
  Requirements Traceability including evidence records (structural, symbolic and numeric)

  engineeringdemosemantic-web+ 1

  engineeringdemosemantic-webrequirements-traceability

  Python

  •

  Apache License 2.0

  •00 forks•44 stars•1515 issues•00 pull requests•Updated Jun 12, 2026Jun 12, 2026

• koi-mira-prototype

  Public
  Python

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jun 9, 2026Jun 9, 2026

• .github

  Public
  distributed-computingscientific-computingmbse+ 3

  distributed-computingscientific-computingmbseontology-engineeringsystems-integrationdigital-twins

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 9, 2026Jun 9, 2026

• distributed-knowledge-processing

  Public
  Python

  •00 forks•00 stars•00 issues•11 pull request•Updated Jun 4, 2026Jun 4, 2026

• koi

  Public
  Collection of KOI related resources and repositories

  koi

  koi

  33 forks•2121 stars•00 issues•00 pull requests•Updated May 20, 2026May 20, 2026

• flexo-rtm

  Public
  Verifiable self-certification oracle for bidirectional requirements traceability of SysMLv2 models. Implements the spec in dynamicalsystemsgroup/flexo-rtm-resea…

  Python

  •

  Other

  •00 forks•00 stars•66 issues•00 pull requests•Updated May 19, 2026May 19, 2026

• flexo-rtm-research

  Public
  Research, design, and decision rationale for flexo-rtm (verifiable self-certification of bidirectional requirements traceability)

  Shell

  •

  Other

  •00 forks•00 stars•1111 issues•00 pull requests•Updated May 19, 2026May 19, 2026

• gds-axelrod

  Public
  Interactive Evolution of Trust showcase — Axelrod's tournament built on the GDS compositional game theory ecosystem

  visualizationinteractivegame-theory+ 4

  visualizationinteractivegame-theorygdsaxelrodprisoner-dilemmacompositional-game-theory

  JavaScript

  •

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• knowledgecomplex

  Public
  Python API abstracts OWL, SHACL and SPARQL for construction, navigation, analysis and visualization of semantically typed simplicial complex

  topologyanalysissemantic-web+ 2

  topologyanalysissemantic-webontologyknowlege-graph

  Python

  •

  Apache License 2.0

  •00 forks•66 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• multi-agent-dg

  Public
  Discourse graph Python package: OWL 2 DL / SHACL / SPARQL / PROV-O semantic web stack with Pydantic interface and policy-controlled multi-agent sharing

  engineeringdistributed-systems

  engineeringdistributed-systems

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• assurances-audits-accountability

  Public template
  V & V Automation w/ Accountability

  engineeringtopologylifecycle+ 1

  engineeringtopologylifecycleautomated-testing

  HTML

  •

  Other

  •00 forks•55 stars•11 issue•00 pull requests•Updated May 15, 2026May 15, 2026

• ZarghamPapers

  Public archive
  Repository for Dr. Zargham's papers code.

  Jupyter Notebook

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• system-pipelines

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• sympy-proof

  Public
  Pythonic proof authoring assistant.

  Python

  •11 fork•44 stars•1010 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• social-infrastructure-program

  Public archive
  Social infrastructures complement technical infrastructures provided by blockchain networks. This program is designed to provide capital to fund a wide range of…

  00 forks•55 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• rideshare-model

  Public
  Jupyter Notebook

  •00 forks•11 star•3131 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• rid-registry

  Public
  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• repeated_prisioners_dilemma_labs

  Public archive
  Jupyter Notebook

  •44 forks•22 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• on-agreements-paper

  Public archive
  This is a paper draft written by Zargham, and James Hazard

  Creative Commons Zero v1.0 Universal

  •22 forks•11 star•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026