Soonad/Formality-Core

Stars
40
Rank 680,660 (Top 14 %)
Language
JavaScript
License
MIT License
Created over 4 years ago
Updated almost 2 years ago

Soonad/Formality-Core

Soonad

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

Specification of the Formality proof and programming language

Whitepaper

Moonad: a Peer-to-Peer Operating System

Moonad

An upcoming operating system built on Type-Theory

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