Skip to content

@ProvenanceTools Provenance Tooling Ecosystem

Change the repository type filter

All

    Repositories list

    5 repositories

    • provenance-neovim-recorder

      Public
      Neovim plugin that records a tamper-evident .provenance log, format-compatible with the Provenance server and analyzer.
      Lua
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 13, 2026Aug 13, 2026

    • provenance-jetbrains-recorder

      Public
      JetBrains IDE plugin that records a tamper-evident .provenance log, format-compatible with the Provenance server and analyzer.
      Kotlin
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 13, 2026Aug 13, 2026

    • provenance

      Public
      Academic-integrity telemetry and analysis system designed for CS course assignments.
      TypeScript
      •
      Apache License 2.0
      •1•3•0•0•Updated Aug 13, 2026Aug 13, 2026

    • .github

      Public
      Org profile for ProvenanceTools.
      0•0•0•0•Updated Jul 18, 2026Jul 18, 2026

    • provenance-gradescope-gateway

      Public
      Syncs new Gradescope submissions into a Provenance server on a schedule — a multi-class, incremental HTTP client of Provenance's ingest API.
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 15, 2026Jul 15, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.