Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

agda-attic/agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

Propriétaire: agda-attic (organisation)
Étoiles: Étoiles : 104
Forks: Forks : 11
Langage: Agda
Licence: MIT
Création: 2011
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Agda

Tous les dépôts Agda

HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype
wenkokke/schmittyÉtoiles : 110AgdaPrototype
alhassy/gentle-intro-to-reflectionÉtoiles : 108AgdaPrototype