Explore @imdea-software Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Lua

Nix

JavaScript

Clojure

F#

Solidity

C++

Shell

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Perl

Ruby

C#

Python

Dart

TypeScript

Elm

Zig

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇬🇩 Grenada

🇱🇨 Saint Lucia

🇵🇾 Paraguay

🇰🇾 Cayman Islands

🇨🇿 Czechia

🇧🇭 Bahrain

🇩🇯 Djibouti

🇺🇸 United States

All Countries Compare Countries

IMDEA Software Institute (@imdea-software)

imdea-software

Stars
248
Global Org. Rank 35,541 (Top 12 %)
Registered over 10 years ago
Most used languages

Haskell
18.2 %

Ruby
9.1 %

Rust
9.1 %

Java
9.1 %

Go
9.1 %

Coq 9.1 %

C++
9.1 %

JavaScript
4.5 %

Python
4.5 %

Makefile 4.5 %

C
4.5 %

Elixir
4.5 %

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

Coq 1

OCaml
11

Makefile 19

Haskell
37

Elixir
127

Rust
149

C++
206

C
324

Go
389

Ruby
806

Java
1,013

Python
5,104

JavaScript
7,209

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

MSCProof

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

async-droid

swiftpaxos

Prototype implementation of SwiftPaxos (NSDI 2024)

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