Soonad

Repositories

Forall-Server-Legacy

Hosts Formality files

TypeScript MIT 0 0 0 3 Updated Aug 7, 2020

Unilog

Simple event log server

JavaScript MIT 0 0 0 4 Updated Aug 5, 2020

Formality-EVM-example

Example compilation of a Formality program to the EVM

JavaScript 0 0 0 2 Updated Aug 1, 2020

Formality-App

Front-end application renderer for Formality-Lang

JavaScript MIT 0 1 0 3 Updated Aug 1, 2020

moonad.org-old

Website for Moonad

TypeScript MIT 0 4 3 (1 issue needs help) 3 Updated Jul 31, 2020

Forall-Server

Elixir 1 1 0 1 Updated Jul 18, 2020

Formality-Core

Specification of the Formality proof and programming language

programming-language lambda-calculus type-system funcional-programming formality

JavaScript MIT 9 33 1 2 Updated Jul 5, 2020

Moonad.org.snapshots

Snapshots of Moonad.org's database

0 1 0 0 Updated Jul 2, 2020

Moonad

An upcoming operating system built on Type-Theory

5 37 1 1 Updated Jul 1, 2020

Bitlog

Elixir MIT 0 1 0 0 Updated Apr 23, 2020

moonad-logs

JavaScript MIT 0 0 0 0 Updated Apr 23, 2020

Formality-Lang

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

JavaScript 0 1 0 0 Updated Apr 18, 2020

Base.fm

Standard library for the Formality language

MIT 2 16 0 2 Updated Mar 22, 2020

Scott-Benchmarks

JavaScript 0 1 0 0 Updated Mar 22, 2020

Formality-Haskell

A Haskell implementation of the Formality language

Haskell MIT 0 19 0 0 Updated Mar 9, 2020

Formality-WordMap-Benchmark

Benchmarking the WordMap pure functional data structure compiled from Formality to JavaScript

JavaScript 0 0 0 0 Updated Feb 14, 2020

Formbase

JavaScript 0 6 0 0 Updated Jan 2, 2020

bitlog-server

Rust Apache-2.0 0 1 0 0 Updated Dec 26, 2019

Formality-EVM

1 0 0 1 Updated Dec 16, 2019

Superstruct.fm

Extensions and Abstractions over Base.fm

0 2 0 0 Updated Dec 14, 2019

Whitepaper

Moonad: a Peer-to-Peer Operating System

TeX MIT 6 89 0 0 Updated Dec 7, 2019

Formality-Agda

The Formalization of Formality

Agda 0 4 0 0 Updated Dec 3, 2019

Moonad-Preact

TypeScript 0 1 0 0 Updated Nov 14, 2019

docs.formality-lang.org

Legacy - Formality Language documentation (ReadTheDocs)

MIT 3 6 0 0 Updated Nov 14, 2019

Formality-Docs

Formality documentation

0 1 0 0 Updated Nov 13, 2019

Formality-to-EVM

An interaction net interpreter on the Ethereum Virtual Machine

JavaScript MIT 0 6 0 0 Updated Oct 26, 2019

Formality-C

An implementation of the Formality language in C

c interaction-nets inet formality

C MIT 4 13 0 0 Updated Oct 12, 2019

Formality-Problems

1 4 0 1 Updated Sep 19, 2019

Formality-Benchmarks

Simple benchmarks for comparing Formality Performance with other languages

Shell MIT 0 0 0 0 Updated Sep 14, 2019