Explore @imdea-software Open Source projects

IMDEA Software Institute (@imdea-software)

imdea-software

Stars
258
Global Org. Rank 35,195 (Top 12 %)
Registered almost 11 years ago
Most used languages

Haskell
18.2 %

Coq 9.1 %

Ruby
9.1 %

Java
9.1 %

C++
9.1 %

Go
9.1 %

Rust
9.1 %

OCaml
4.5 %

Makefile 4.5 %

C
4.5 %

JavaScript
4.5 %

Elixir
4.5 %

Python
4.5 %
Location 🇪🇸 Spain
Country Total Rank 1,308
Country Ranking

Coq 1

OCaml
12

Makefile 17

Haskell
33

Rust
145

Elixir
159

C++
211

Go
312

C
331

Ruby
770

Java
1,041

Python
5,188

JavaScript
6,515

htt

Hoare Type Theory

legosnark

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

verifying-constant-time

fcsl-pcm

Partial Commutative Monoids

LLVM_Instrumentation_Pass

homomorphic-authentication-library

HAL: A Library for Homomorphic Authentication

swiftpaxos

Prototype implementation of SwiftPaxos (NSDI 2024)

MSCProof

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

async-droid

leap

A theorem prover for the temporal parametrized verification of concurrent data types

hlola

A Runtime Verification Engine

apkmonk-scraper

Python script to download all apk releases from apkmonk.com

imdea-PLC

IMDEA Software Programming Languages Club

remeddos

violin

HStriver

dLola

Decentralized Stream Runtime Verification

hs-to-ciao

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

popl-2016-artifact

striver-full

The runtime verification infrastructure for the fully fledged version of Striver

lunar

A Rust library for the Lunar universal zkSNARK

TesslaServer

Runtime for Tessla Specifications