Projects in Awesome Lists by imdea-software
A curated list of projects in awesome lists by imdea-software .
https://github.com/imdea-software/htt
Hoare Type Theory
coq hoare-logic hoare-monads linked-list separation-logic type-system
Last synced: 03 Jul 2025
https://github.com/imdea-software/legosnark
C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
Last synced: 07 Jul 2025
https://github.com/imdea-software/fcsl-pcm
Partial Commutative Monoids
concurrency coq coq-library partial-commutative-monoid separation-logic
Last synced: 02 May 2025
https://github.com/imdea-software/homomorphic-authentication-library
HAL: A Library for Homomorphic Authentication
cryptography cryptography-library
Last synced: 23 Apr 2025
https://github.com/imdea-software/swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
concensus distributed-systems key-value-store state-machine-replication
Last synced: 13 Apr 2025
https://github.com/imdea-software/mscproof
Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
Last synced: 23 Apr 2025
https://github.com/imdea-software/leap
A theorem prover for the temporal parametrized verification of concurrent data types
Last synced: 23 Apr 2025
https://github.com/imdea-software/apkmonk-scraper
Python script to download all apk releases from apkmonk.com
Last synced: 27 Aug 2025
https://github.com/imdea-software/imdea-plc
IMDEA Software Programming Languages Club
Last synced: 16 May 2026
https://github.com/imdea-software/tesslaserver
Runtime for Tessla Specifications
Last synced: 07 May 2026
https://github.com/imdea-software/hs-to-ciao
Source-to-source Haskell into Ciao Prolog for automatic resource analysis.
Last synced: 18 May 2026
https://github.com/imdea-software/dlola
Decentralized Stream Runtime Verification
Last synced: 24 Feb 2025
https://github.com/imdea-software/striver-full
The runtime verification infrastructure for the fully fledged version of Striver
Last synced: 24 Feb 2025
https://github.com/imdea-software/lunar
A Rust library for the Lunar universal zkSNARK
Last synced: 24 Feb 2025
https://github.com/imdea-software/striver
The runtime verification infrastructure for the past fragment and the fully fledged version of Striver
Last synced: 01 Feb 2026
https://github.com/imdea-software/setchain-basic
A Byzantine-fault tolerant distributed grow-only set equipped with synchronization barriers.
Last synced: 24 Feb 2025
https://github.com/imdea-software/atomic-multicast
White-box genuine atomic multicast, mirror from
Last synced: 24 Feb 2025
https://github.com/imdea-software/striver-past
The runtime verification infrastructure for the past fragment of Striver
Last synced: 15 Jun 2025
https://github.com/imdea-software/leanfraudproofs
L2 Optimistic rollups fraud proofs mechanization
Last synced: 06 Sep 2025
https://github.com/imdea-software/syntheos
Syntheos is a tool for checking the realizability of LTL specifications with theories that supports referencing previous variable values.
Last synced: 13 Oct 2025
https://github.com/imdea-software/guiripper
A fork of GUIRipper v1.1 (http://wpage.unina.it/ptramont/GUIRipperConfigurable_Java7.htm)
Last synced: 27 Feb 2026