Soonad/Moonad

Stars
43
Rank 645,449 (Top 13 %)
Language
Created over 4 years ago
Updated over 4 years ago

Soonad/Moonad

Soonad

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An upcoming operating system built on Type-Theory

Whitepaper

Moonad: a Peer-to-Peer Operating System

Formality-Core

Specification of the Formality proof and programming language

FormalityFM

Formality in itself

Base.fm

Standard library for the Formality language

Formality-Haskell

A Haskell implementation of the Formality language

Formality-C

An implementation of the Formality language in C

Formality-Net-Animator

Animations for Elementary-Affine-Net interactions

Formality-to-EVM

An interaction net interpreter on the Ethereum Virtual Machine

Formbase

docs.formality-lang.org

Legacy - Formality Language documentation (ReadTheDocs)

Formality-Agda

The Formalization of Formality

moonad.org-old

Website for Moonad

Formality-Problems

Superstruct.fm

Extensions and Abstractions over Base.fm

bitlog-server

Formality-App

Front-end application renderer for Formality-Lang

Formality-EVM-example

Example compilation of a Formality program to the EVM

Formality-image

Reads a directory or file and creates a Formality file for each image

Moonad.org.snapshots

Snapshots of Moonad.org's database

Scott-Benchmarks

Bitlog

Formality-Docs

Formality documentation

Formality-Lang

Temporary repository for the migration to the new version of Formality-Lang

Moonad-Preact

Forall-Server