Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

gitlab.inria.fr / ipanema-public 1 Repository

ipanema-public/ipanema-compiler

A compiler for the Ipanema language

Last synced at: 7 months ago - Stars: 0 - Forks: 0

ipanema-public/ipanema-kernel

Last synced at: 7 months ago - Stars: 0 - Forks: 0

ipanema-public/ipanema-proofs

Last synced at: 7 months ago - Stars: 0 - Forks: 0