Skip to content

@imdea-software IMDEA Software Institute

Change the repository type filter

All

    Repositories list

    49 repositories

    • swiftpaxos

      Public
      Prototype implementation of SwiftPaxos (NSDI 2024)
      distributed-systemskey-value-storestate-machine-replicationconcensus
      Go
      •
      MIT License
      •7•22•0•0•Updated Feb 10, 2026Feb 10, 2026

    • opodis-2026

      Public
      Ruby
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Jan 14, 2026Jan 14, 2026

    • hlola

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

    • 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 Sep 24, 2025Sep 24, 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

    • htt

      Public
      Hoare Type Theory
      linked-listcoqtype-systemhoare-logichoare-monadsseparation-logic
      Rocq Prover
      •
      Apache License 2.0
      •6•84•0•0•Updated Jun 12, 2025Jun 12, 2025

    • fcsl-pcm

      Public
      Partial Commutative Monoids
      coqconcurrencyseparation-logiccoq-librarypartial-commutative-monoid
      Rocq Prover
      •
      Apache License 2.0
      •13•32•0•0•Updated Jun 9, 2025Jun 9, 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•0•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
      •35k•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•41•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•0•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
      •27•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