Skip to content
@imdea-software

IMDEA Software Institute

Madrid Institute for Advanced Studies in Software Development Technologies

Popular repositories Loading

  1. htt htt Public

    Hoare Type Theory

    Rocq Prover 88 7

  2. legosnark legosnark Public

    C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.

    C++ 43 6

  3. verifying-constant-time verifying-constant-time Public

    Makefile 37 11

  4. fcsl-pcm fcsl-pcm Public

    Partial Commutative Monoids

    Rocq Prover 35 13

  5. LLVM_Instrumentation_Pass LLVM_Instrumentation_Pass Public

    C++ 26 6

  6. swiftpaxos swiftpaxos Public

    Prototype implementation of SwiftPaxos (NSDI 2024)

    Go 25 8

Repositories

Showing 10 of 49 repositories
  • accord-specification Public

    TLA+ specification of Apache Cassandra’s Accord protocol

    imdea-software/accord-specification's past year of commit activity
    TLA 0 0 0 0 Updated Sep 14, 2026
  • htt Public

    Hoare Type Theory

    imdea-software/htt's past year of commit activity
    Rocq Prover 88 Apache-2.0 7 0 0 Updated Aug 26, 2026
  • swiftpaxos Public

    Prototype implementation of SwiftPaxos (NSDI 2024)

    imdea-software/swiftpaxos's past year of commit activity
    Go 25 MIT 8 3 0 Updated Aug 17, 2026
  • syntheos Public

    Syntheos is a tool for checking the realizability of LTL specifications with theories that supports referencing previous variable values.

    imdea-software/syntheos's past year of commit activity
    Python 3 0 0 0 Updated Aug 12, 2026
  • fcsl-pcm Public

    Partial Commutative Monoids

    imdea-software/fcsl-pcm's past year of commit activity
    Rocq Prover 35 Apache-2.0 13 0 0 Updated Aug 6, 2026
  • hlola Public

    A Runtime Verification Engine

    imdea-software/hlola's past year of commit activity
    Haskell 7 2 0 0 Updated Oct 30, 2025
  • LeanFraudProofs Public

    L2 Optimistic rollups fraud proofs mechanization

    imdea-software/LeanFraudProofs's past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Aug 29, 2025
  • remeddos Public
    imdea-software/remeddos's past year of commit activity
    JavaScript 1 GPL-3.0 0 1 0 Updated Aug 6, 2025
  • MSCProof Public

    Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"

    imdea-software/MSCProof's past year of commit activity
    Rust 12 Apache-2.0 3 0 0 Updated Feb 8, 2024
  • setchain-basic Public

    A Byzantine-fault tolerant distributed grow-only set equipped with synchronization barriers.

    imdea-software/setchain-basic's past year of commit activity
    Go 0 0 0 0 Updated Aug 3, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…