GitHub - moonad/Moonad: Moonad: a p2p academic journal, or a social network for code? · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 553 Commits
.github/workflows		.github/workflows
lib		lib
sys		sys
.editorconfig		.editorconfig
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

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?

moonad.org/

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

Custom properties

27 stars

1 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages