Giters

moonad / Moonad

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

Home Page:http://moonad.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

academic-journalsformal-languagesformal-verificationformalityfunctional-programminggame-developmentmoonad

About

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

http://moonad.org/

academic-journalsformal-languagesformal-verificationformalityfunctional-programminggame-developmentmoonad

License:MIT License

Languages

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