Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

agda-attic/agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

Owner: agda-attic (organization)
Stars: Stars: 104
Forks: Forks: 11
Language: Agda
License: MIT
Created: 2011
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Agda

HoTT-Intro/AgdaStars: 129AgdaPrototype
wenkokke/schmittyStars: 110AgdaPrototype
alhassy/gentle-intro-to-reflectionStars: 108AgdaPrototype