Skip to content

@imdea-software IMDEA Software Institute

All

    Repositories list

    49 repositories

    • accord-specification

      Public
      TLA+ specification of Apache Cassandra’s Accord protocol
      TLA
      •0•0•0•0•Updated Aug 27, 2026Aug 27, 2026

    • htt

      Public
      Hoare Type Theory
      linked-listcoqtype-system
      linked-listcoqtype-systemhoare-logichoare-monadsseparation-logic
      Rocq Prover
      •
      Apache License 2.0
      •7•88•0•0•Updated Aug 26, 2026Aug 26, 2026

    • swiftpaxos

      Public
      Prototype implementation of SwiftPaxos (NSDI 2024)
      distributed-systemskey-value-storestate-machine-replication
      distributed-systemskey-value-storestate-machine-replicationconcensus
      Go
      •
      MIT License
      •8•25•3•0•Updated Aug 17, 2026Aug 17, 2026

    • syntheos

      Public
      Syntheos is a tool for checking the realizability of LTL specifications with theories that supports referencing previous variable values.
      Python
      •0•3•0•0•Updated Aug 12, 2026Aug 12, 2026

    • fcsl-pcm

      Public
      Partial Commutative Monoids
      coqconcurrencyseparation-logic
      coqconcurrencyseparation-logiccoq-librarypartial-commutative-monoid
      Rocq Prover
      •
      Apache License 2.0
      •13•35•0•0•Updated Aug 6, 2026Aug 6, 2026

    • hlola

      Public
      A Runtime Verification Engine
      Haskell
      •2•7•0•0•Updated Oct 30, 2025Oct 30, 2025

    • LeanFraudProofs

      Public
      L2 Optimistic rollups fraud proofs mechanization
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Aug 29, 2025Aug 29, 2025

    • remeddos

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •0•1•1•0•Updated Aug 6, 2025Aug 6, 2025

    • MSCProof

      Public
      Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
      Rust
      •
      Apache License 2.0
      •3•12•0•0•Updated Feb 8, 2024Feb 8, 2024

    • setchain-basic

      Public
      A Byzantine-fault tolerant distributed grow-only set equipped with synchronization barriers.
      Go
      •0•0•0•0•Updated Aug 3, 2023Aug 3, 2023

    • lunar

      Public
      A Rust library for the Lunar universal zkSNARK
      Rust
      •
      Apache License 2.0
      •2•1•0•0•Updated Jul 6, 2023Jul 6, 2023

    • McLola

      Public
      Haskell
      •0•1•0•0•Updated Jun 30, 2022Jun 30, 2022

    • rust-playground

      Public
      Rust
      •0•0•0•0•Updated Jun 14, 2022Jun 14, 2022

    • HStriver

      Public
      Haskell
      •0•1•0•0•Updated Aug 4, 2021Aug 4, 2021

    • swot

      Public
      Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
      Kotlin
      •
      MIT License
      •38k•0•0•0•Updated Oct 20, 2020Oct 20, 2020

    • legosnark

      Public
      C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
      C++
      •
      Apache License 2.0
      •6•43•1•0•Updated Oct 8, 2020Oct 8, 2020

    • hs-to-ciao

      Public
      Source-to-source Haskell into Ciao Prolog for automatic resource analysis.
      Haskell
      •
      MIT License
      •1•1•0•0•Updated Jul 29, 2020Jul 29, 2020

    • atomic-multicast

      Public
      White-box genuine atomic multicast, mirror from
      C
      •0•1•0•0•Updated Sep 9, 2019Sep 9, 2019

    • striver

      Public
      The runtime verification infrastructure for the past fragment and the fully fledged version of Striver
      0•0•0•0•Updated Jun 21, 2019Jun 21, 2019

    • striver-full

      Public
      The runtime verification infrastructure for the fully fledged version of Striver
      Java
      •0•1•0•0•Updated Jun 21, 2019Jun 21, 2019

    • dLola

      Public
      Decentralized Stream Runtime Verification
      Go
      •0•1•0•0•Updated Jun 11, 2019Jun 11, 2019

    • a3e

      Public
      A fork of https://github.com/tanzirul/a3e (Automatic Android App Explorer)
      Ruby
      •
      Other
      •22•0•0•0•Updated Feb 10, 2019Feb 10, 2019

    • dynodroid

      Public
      A fork of https://github.com/dynodroid/dynodroid (Automatic Input Generation System for Android Apps)
      Java
      •9•0•0•0•Updated Dec 31, 2018Dec 31, 2018

    • apkmonk-scraper

      Public
      Python script to download all apk releases from apkmonk.com
      Python
      •0•3•1•0•Updated Nov 23, 2018Nov 23, 2018

    • droidmate

      Public
      A fork of https://github.com/uds-se/droidmate (Automated GUI execution generator for Android apps)
      Kotlin
      •
      GNU General Public License v3.0
      •24•0•0•0•Updated Sep 28, 2018Sep 28, 2018

    • GUIRipper

      Public
      A fork of GUIRipper v1.1 (http://wpage.unina.it/ptramont/GUIRipperConfigurable_Java7.htm)
      Smali
      •1•0•0•0•Updated Sep 26, 2018Sep 26, 2018

    • SwiftHand

      Public
      A fork of https://github.com/wtchoi/SwiftHand (Automated Testing Tool for Android Applications)
      Java
      •
      Other
      •26•0•0•0•Updated Sep 25, 2018Sep 25, 2018

    • PUMA

      Public
      A fork of https://github.com/USC-NSL/PUMA (Programmable UI-Automation Framework for Dynamic App Analysis)
      Java
      •
      Apache License 2.0
      •22•0•0•0•Updated Sep 24, 2018Sep 24, 2018

    • sapienz

      Public
      A fork of Prototype of https://github.com/Rhapsod/sapienz (the original project is Out-of-date and no longer supported)
      Python
      •
      Other
      •50•0•0•0•Updated Sep 24, 2018Sep 24, 2018

    • striver-past

      Public
      The runtime verification infrastructure for the past fragment of Striver
      Go
      •0•0•0•0•Updated Jul 7, 2018Jul 7, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.