Skip to content
Change the repository type filter

All

    Repositories list

    • A simple Kubernetes controller to receive Slack/email/webhook notifications for Velero backups
      Crystal
      10000Updated Jul 28, 2025Jul 28, 2025
    • common-ui

      Public
      Sequent UI commons library
      JavaScript
      7105Updated Jul 23, 2025Jul 23, 2025
    • Reference cast-as-intended verifier for Sequent. Allows voters to audit spoiled ballots.
      C
      1410Updated Jul 23, 2025Jul 23, 2025
    • mixnet

      Public
      Sequent verifiable re-encryption mixnet
      Java
      2002Updated Jul 23, 2025Jul 23, 2025
    • Sequent miscellaneous tools
      Python
      2401Updated Jul 23, 2025Jul 23, 2025
    • iam

      Public
      Sequent IAM (Identity and Access Management) backend
      Python
      7314Updated Jul 23, 2025Jul 23, 2025
    • Sequent election process orchestrator to create election keys and launch the tally
      Python
      3304Updated Jul 23, 2025Jul 23, 2025
    • frestq

      Public
      frestq - Federated REST Task Queue
      Python
      1514Updated Jul 23, 2025Jul 23, 2025
    • Sequent election verifier
      Shell
      1110Updated Jul 23, 2025Jul 23, 2025
    • Sequent module that processes a tally using pipelines
      Python
      4302Updated Jul 23, 2025Jul 23, 2025
    • Sequent tally methods
      Python
      15710Updated Jul 23, 2025Jul 23, 2025
    • Sequent deployment ansible scripts
      Shell
      2214123Updated Jul 23, 2025Jul 23, 2025
    • Sequent ballot box backend
      JavaScript
      6603Updated Jul 23, 2025Jul 23, 2025
    • Sequent Voting Booth UI
      JavaScript
      11313Updated Jul 23, 2025Jul 23, 2025
    • Sequent Voting Portal UI
      JavaScript
      101003Updated Jul 23, 2025Jul 23, 2025
    • Sequent Admin Console UI
      JavaScript
      6435Updated Jul 23, 2025Jul 23, 2025
    • Kubernetes controller for GitHub Actions self-hosted runners
      Go
      1.3k003Updated Jun 10, 2025Jun 10, 2025
    • A repository containing release workflows
      11000Updated Mar 26, 2025Mar 26, 2025
    • Sequent release scripts
      Python
      0010Updated Jan 31, 2025Jan 31, 2025
    • Sequent Tech documentation site
      JavaScript
      0121Updated Sep 26, 2024Sep 26, 2024
    • Devcontainer test
      Shell
      1000Updated Aug 27, 2024Aug 27, 2024
    • Rust
      0014Updated Mar 4, 2024Mar 4, 2024
    • strand

      Public
      Sequent cryptographic library for use in secure online voting protocols.
      Rust
      0217Updated Dec 19, 2023Dec 19, 2023
    • Voting portal for the next generation.
      TypeScript
      1005Updated Aug 30, 2023Aug 30, 2023
    • aws-lambda-events

      Public archive
      Rust event types for AWS Lambda
      Rust
      53000Updated Oct 13, 2022Oct 13, 2022
    • Coq
      6000Updated Oct 14, 2020Oct 14, 2020