moonad / Moonad

Moonad: a p2p academic journal, or a social network for code?

http://moonad.org/

Repository from Github https://github.commoonad/Moonad

moonad formality formal-verification formal-languages academic-journals functional-programming game-development

Moonad: a p2p academic journal, or a social network for code?

http://moonad.org

About

Moonad: a p2p academic journal, or a social network for code?

http://moonad.org/

moonad formality formal-verification formal-languages academic-journals functional-programming game-development

MIT License

Languages

Language:JavaScript 97.3%Language:HTML 2.7%Language:Shell 0.0%