IMDEA Software Institute

htt

Hoare Type Theory

legosnark

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

fcsl-pcm

Partial Commutative Monoids

MSCProof

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

swiftpaxos

Prototype implementation of SwiftPaxos (NSDI 2024)

hlola

A Runtime Verification Engine

apkmonk-scraper

Python script to download all apk releases from apkmonk.com

AndroidRipper

A toolset for the automatic GUI testing of mobile Android Applications.

dLola

Decentralized Stream Runtime Verification

hs-to-ciao

Source-to-source Haskell into Ciao Prolog for automatic resource analysis.

HStriver

lunar

A Rust library for the Lunar universal zkSNARK

remeddos

striver-full

The runtime verification infrastructure for the fully fledged version of Striver

GUIRipper

A fork of GUIRipper v1.1 (http://wpage.unina.it/ptramont/GUIRipperConfigurable_Java7.htm)

McLola

a3e

A fork of https://github.com/tanzirul/a3e (Automatic Android App Explorer)

androcov

Measure test coverage without source code.

atomic-multicast

White-box genuine atomic multicast, mirror from

droidmate

A fork of https://github.com/uds-se/droidmate (Automated GUI execution generator for Android apps)

dynodroid

A fork of https://github.com/dynodroid/dynodroid (Automatic Input Generation System for Android Apps)

PUMA

A fork of https://github.com/USC-NSL/PUMA (Programmable UI-Automation Framework for Dynamic App Analysis)

rem-alm

rust-playground

sapienz

A fork of Prototype of https://github.com/Rhapsod/sapienz (the original project is Out-of-date and no longer supported)

setchain-basic

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

striver

The runtime verification infrastructure for the past fragment and the fully fledged version of Striver

striver-past

The runtime verification infrastructure for the past fragment of Striver

SwiftHand

A fork of https://github.com/wtchoi/SwiftHand (Automated Testing Tool for Android Applications)

swot

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.