#

moonad

Here are 3 public repositories matching this topic...

Kind

HigherOrderCO / Kind

A modern proof language

dependent-types functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages

Updated Nov 15, 2024
Haskell

Formality-JavaScript

moonad-archive / Formality-JavaScript

An implementation of the Formality language in JavaScript

javascript lambda-calculus interaction-nets inets formality moonad

Updated Aug 27, 2019
JavaScript

Moonad

moonad / Moonad

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

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

Updated Jan 6, 2023
JavaScript

Improve this page

Add a description, image, and links to the moonad topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the moonad topic, visit your repo's landing page and select "manage topics."