moonad

There are 0 repository under moonad topic.

• Kind

  HigherOrderCO / Kind

  A next-gen functional language

  dependent-typesformalityfunctional-programminglambda-calculusmoonadproof-languageproof-languagestheorem-provertype-theory
  Language:Rust 3428
• Formality-JavaScript

  moonad-archive / Formality-JavaScript

  An implementation of the Formality language in JavaScript

  moonadformalityinteraction-netsinetslambda-calculusjavascript
  Language:JavaScript 72
• Moonad

  moonad / Moonad

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

  moonadformalityformal-verificationformal-languagesacademic-journalsfunctional-programminggame-development
  Language:JavaScript 27