Skip to content
Change the repository type filter

All

    Repositories list

    • common-ui

      Public
      Sequent UI commons library
      JavaScript
      GNU Affero General Public License v3.0
      7105Updated Oct 7, 2024Oct 7, 2024
    • Reference cast-as-intended verifier for Sequent. Allows voters to audit spoiled ballots.
      C
      GNU Affero General Public License v3.0
      0410Updated Oct 7, 2024Oct 7, 2024
    • mixnet

      Public
      Sequent verifiable re-encryption mixnet
      Java
      GNU General Public License v3.0
      2002Updated Oct 7, 2024Oct 7, 2024
    • Sequent miscellaneous tools
      Python
      GNU Affero General Public License v3.0
      2401Updated Oct 7, 2024Oct 7, 2024
    • iam

      Public
      Sequent IAM (Identity and Access Management) backend
      Python
      GNU Affero General Public License v3.0
      7314Updated Oct 7, 2024Oct 7, 2024
    • Sequent election process orchestrator to create election keys and launch the tally
      Python
      GNU Affero General Public License v3.0
      2304Updated Oct 7, 2024Oct 7, 2024
    • frestq

      Public
      frestq - Federated REST Task Queue
      Python
      1514Updated Oct 7, 2024Oct 7, 2024
    • Sequent election verifier
      Shell
      GNU Affero General Public License v3.0
      1110Updated Oct 7, 2024Oct 7, 2024
    • Sequent module that processes a tally using pipelines
      Python
      GNU Affero General Public License v3.0
      4502Updated Oct 7, 2024Oct 7, 2024
    • Sequent tally methods
      Python
      GNU Affero General Public License v3.0
      13710Updated Oct 7, 2024Oct 7, 2024
    • Sequent deployment ansible scripts
      Shell
      GNU Affero General Public License v3.0
      2114123Updated Oct 7, 2024Oct 7, 2024
    • Sequent ballot box backend
      JavaScript
      GNU Affero General Public License v3.0
      5603Updated Oct 7, 2024Oct 7, 2024
    • Sequent Voting Booth UI
      JavaScript
      GNU Affero General Public License v3.0
      10413Updated Oct 7, 2024Oct 7, 2024
    • Sequent Voting Portal UI
      JavaScript
      GNU Affero General Public License v3.0
      9903Updated Oct 7, 2024Oct 7, 2024
    • Sequent Admin Console UI
      JavaScript
      GNU Affero General Public License v3.0
      6435Updated Oct 7, 2024Oct 7, 2024
    • Sequent Tech documentation site
      JavaScript
      GNU Affero General Public License v3.0
      0121Updated Sep 26, 2024Sep 26, 2024
    • Sequent release scripts
      Python
      GNU Affero General Public License v3.0
      0010Updated Sep 10, 2024Sep 10, 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
      0005Updated Aug 30, 2023Aug 30, 2023
    • aws-lambda-events

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