Explore projects

View LeanFPGames project

Martín Ceresa / LeanFPGames

0

Updated Jul 18, 2025

0 0 0 0

Updated Jul 18, 2025
View sCASP project

ciao-lang / sCASP
Apache License 2.0

1

Updated Jul 16, 2025

1 0

Updated Jul 16, 2025
View printCast project

Kevin van Liebergen / printCast

1

Updated Jul 09, 2025

1 2 0 0

Updated Jul 09, 2025
View Cryptographic Protocols project

Ignacio Cascudo / Cryptographic Protocols

0

Updated Jul 03, 2025

0

Updated Jul 03, 2025
View Imdea Poster 2023 - Evolutionary ADTs project

Ignacio Ballesteros / Imdea Poster 2023 - Evolutionary ADTs

0

Updated Jun 16, 2025

0 0 0 0

Updated Jun 16, 2025
View ciaoimp-benchmarks project

ciao-lang / ciaoimp-benchmarks

0

Updated Jun 01, 2025

0 0 0 0

Updated Jun 01, 2025
View printCast project

Fatih Durmaz / printCast

0

Updated Nov 14, 2024

0 0 0 0

Updated Nov 14, 2024
View Multi project

Martín Ceresa / Multi

0

Updated Oct 03, 2024

0 0 0 0

Updated Oct 03, 2024
View foo project

Juan Cespedes / foo

0

Updated Jan 18, 2024

0 0 0 1

Updated Jan 18, 2024
View imdea-se-bib project

Alessandra Gorla / imdea-se-bib
Creative Commons Attribution 3.0 Unported

1

Updated Jan 12, 2024

1 2 0 0

Updated Jan 12, 2024
View prolog-commons project

prolog-commons / prolog-commons

1

Updated Jan 08, 2024

1 0 0 0

Updated Jan 08, 2024
View StreamChain Benchmarks project

zistvan-public / StreamChain Benchmarks
GNU General Public License v3.0 only

0

Updated Jan 07, 2024

0 0 0 0

Updated Jan 07, 2024
View Proof Reading Scripts project

_ddom / Proof Reading Scripts

Scripts for proof reading text documents

1

Updated Dec 15, 2023

1 0 0 0

Updated Dec 15, 2023
View Fabric Example Supplychain project

zistvan-events / Fabric Example Supplychain

0

Updated Dec 07, 2023

0 0 0 1

Updated Dec 07, 2023
View Caribou KVS with Privacy Perturbations project

zistvan-public / Caribou KVS with Privacy Perturbations
GNU General Public License v3.0 only

This is a public mirror of our internal Caribou repository. In case of questions, please feel free to get in touch. mailto:zsolt.istvan@imdea.org

0

Updated Nov 30, 2023

0 3

Updated Nov 30, 2023
View Polca Toolchain project

Manuel Carro / Polca Toolchain

0

Updated Sep 15, 2023

0 0 0 0

Updated Sep 15, 2023
View Variations on ZK Batch Membership Proofs project

Lucas Tabary / Variations on ZK Batch Membership Proofs

0

Updated Jul 03, 2023

0 0 0 0

Updated Jul 03, 2023
View vim-model project

Xiao Peng Ye / vim-model

0

Updated Jun 20, 2023

0 0 0 0

Updated Jun 20, 2023
View binomialDistribution project

Ana Marija Ereš / binomialDistribution

Binomial distribution for master thesis

0

Updated Jun 29, 2022

0 0 0 0

Updated Jun 29, 2022
View dblp-retriever project

Alessandra Gorla / dblp-retriever
Apache License 2.0

Retrieve paper metadata from conference proceedings and journals indexed in DBLP.

1

Updated Jun 23, 2022

1 0 0 0

Updated Jun 23, 2022