Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/moonad/Moonad

Moonad: a p2p academic journal, or a social network for code?
https://github.com/moonad/Moonad

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

Last synced: about 1 month ago
JSON representation

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

Awesome Lists containing this project

README

        

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

[http://moonad.org](http://moonad.org)