Skip to content
Change the repository type filter

All

    Repositories list

    • step

      Public
      Sequent Step - Secure Online Voting platform by Sequent Tech
      TypeScript
      GNU Affero General Public License v3.0
      4312234Updated Jul 29, 2026Jul 29, 2026
    • Sequent ballot box backend
      JavaScript
      GNU Affero General Public License v3.0
      6603Updated Apr 15, 2026Apr 15, 2026
    • Sequent Voting Booth UI
      JavaScript
      GNU Affero General Public License v3.0
      11313Updated Apr 15, 2026Apr 15, 2026
    • common-ui

      Public
      Sequent UI commons library
      JavaScript
      GNU Affero General Public License v3.0
      7205Updated Apr 5, 2026Apr 5, 2026
    • Sequent release scripts
      Python
      MIT License
      0010Updated Apr 5, 2026Apr 5, 2026
    • Reference cast-as-intended verifier for Sequent. Allows voters to audit spoiled ballots.
      C
      GNU Affero General Public License v3.0
      1410Updated Apr 5, 2026Apr 5, 2026
    • mixnet

      Public
      Sequent verifiable re-encryption mixnet
      Java
      GNU General Public License v3.0
      3012Updated Apr 5, 2026Apr 5, 2026
    • Sequent miscellaneous tools
      Python
      GNU Affero General Public License v3.0
      2401Updated Apr 5, 2026Apr 5, 2026
    • iam

      Public
      Sequent IAM (Identity and Access Management) backend
      Python
      GNU Affero General Public License v3.0
      7315Updated Apr 5, 2026Apr 5, 2026
    • Sequent election process orchestrator to create election keys and launch the tally
      Python
      GNU Affero General Public License v3.0
      3304Updated Apr 5, 2026Apr 5, 2026
    • frestq

      Public
      frestq - Federated REST Task Queue
      Python
      1514Updated Apr 5, 2026Apr 5, 2026
    • Sequent election verifier
      Shell
      GNU Affero General Public License v3.0
      1110Updated Apr 5, 2026Apr 5, 2026
    • Sequent module that processes a tally using pipelines
      Python
      GNU Affero General Public License v3.0
      4302Updated Apr 5, 2026Apr 5, 2026
    • Sequent tally methods
      Python
      GNU Affero General Public License v3.0
      15710Updated Apr 5, 2026Apr 5, 2026
    • Sequent deployment ansible scripts
      Shell
      GNU Affero General Public License v3.0
      2214123Updated Apr 5, 2026Apr 5, 2026
    • Sequent Voting Portal UI
      JavaScript
      GNU Affero General Public License v3.0
      101103Updated Apr 5, 2026Apr 5, 2026
    • Sequent Admin Console UI
      JavaScript
      GNU Affero General Public License v3.0
      6435Updated Apr 5, 2026Apr 5, 2026
    • Release Bot for Release Flow.
      Python
      0005Updated Mar 29, 2026Mar 29, 2026
    • Kubernetes controller for GitHub Actions self-hosted runners
      Go
      Apache License 2.0
      1.5k004Updated Nov 20, 2025Nov 20, 2025
    • A simple Kubernetes controller to receive Slack/email/webhook notifications for Velero backups
      Crystal
      MIT License
      11000Updated Jul 28, 2025Jul 28, 2025
    • A repository containing release workflows
      MIT License
      14000Updated Mar 26, 2025Mar 26, 2025
    • Sequent Tech documentation site
      JavaScript
      GNU Affero General Public License v3.0
      0121Updated Sep 26, 2024Sep 26, 2024
    • Devcontainer test
      Shell
      1000Updated Aug 27, 2024Aug 27, 2024
    • Rust
      Other
      0014Updated Mar 4, 2024Mar 4, 2024
    • strand

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

      Public archive
      Rust event types for AWS Lambda
      Rust
      MIT License
      51000Updated Oct 13, 2022Oct 13, 2022
    • Coq
      6000Updated Oct 14, 2020Oct 14, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.