Certification_Monads

swMATH32235MaRDI QIDQ43946FDOQ43946

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: https://www.isa-afp.org/entries/Certification_Monads.html

(10)

• Strong eventual consistency of the collaborative editing framework WOOT
• Logoot
• Datatype Order Generator
• Haskell Show Class
• Xml
• Wooki
• woot-haskell
• wootjs
• Woot
• A framework for developing stand-alone certifiers

This page was built for software: Certification_Monads