Repositories list

• Formality-image

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

  JavaScript

  •

  MIT License

  •2•1•0•2•Updated Mar 5, 2023Mar 5, 2023

• Formality-Core

  Public
  Specification of the Formality proof and programming language

  lambda-calculustype-systemfuncional-programming+ 2programming-languageformality

  JavaScript

  •

  MIT License

  •11•40•1•3•Updated Feb 5, 2023Feb 5, 2023

• Forall-Server-Legacy

  Public
  Hosts Formality files

  TypeScript

  •

  MIT License

  •0•0•0•19•Updated Jan 24, 2023Jan 24, 2023

• Unilog

  Public
  Simple event log server

  JavaScript

  •

  MIT License

  •0•0•0•14•Updated Jan 24, 2023Jan 24, 2023

• moonadog_bot

  Public
  Telegram bot used as assistant for Formality lib codes and other info

  bottelegram-bot

  JavaScript

  •

  MIT License

  •0•0•0•19•Updated Jan 7, 2023Jan 7, 2023

• Formality-App

  Public
  Front-end application renderer for Formality-Lang

  JavaScript

  •

  MIT License

  •0•1•0•11•Updated Jan 7, 2023Jan 7, 2023

• moonad.org-old

  Public
  Website for Moonad

  TypeScript

  •

  MIT License

  •0•4•3•18•Updated Jan 7, 2023Jan 7, 2023

• moonad-logs

  Public
  JavaScript

  •

  MIT License

  •0•0•0•3•Updated Dec 12, 2022Dec 12, 2022

• Formality-EVM-example

  Public
  Example compilation of a Formality program to the EVM

  JavaScript

  •0•1•0•3•Updated Dec 5, 2022Dec 5, 2022

• Forall-Server

  Public
  Elixir

  •1•1•0•4•Updated Dec 4, 2022Dec 4, 2022

• FormalityFM

  Public
  Formality in itself

  JavaScript

  •

  MIT License

  •2•20•1•1•Updated Nov 30, 2020Nov 30, 2020

• Moonad.org.snapshots

  Public
  Snapshots of Moonad.org's database

  0•1•0•0•Updated Jul 2, 2020Jul 2, 2020

• Moonad

  Public
  An upcoming operating system built on Type-Theory

  5•43•1•1•Updated Jul 1, 2020Jul 1, 2020

• Formality-vscode

  Public
  MIT License

  •2•0•0•1•Updated Jun 22, 2020Jun 22, 2020

• Bitlog

  Public
  Elixir

  •

  MIT License

  •0•1•0•0•Updated Apr 23, 2020Apr 23, 2020

• Formality-Lang

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

  JavaScript

  •0•1•0•0•Updated Apr 18, 2020Apr 18, 2020

• Base.fm

  Public
  Standard library for the Formality language

  MIT License

  •2•18•0•2•Updated Mar 22, 2020Mar 22, 2020

• Scott-Benchmarks

  Public
  JavaScript

  •0•1•0•0•Updated Mar 22, 2020Mar 22, 2020

• Formality-Haskell

  Public
  A Haskell implementation of the Formality language

  Haskell

  •

  MIT License

  •0•18•0•0•Updated Mar 9, 2020Mar 9, 2020

• Formality-WordMap-Benchmark

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

  JavaScript

  •0•0•0•0•Updated Feb 14, 2020Feb 14, 2020

• Formbase

  Public
  JavaScript

  •0•6•0•0•Updated Jan 2, 2020Jan 2, 2020

• bitlog-server

  Public
  Rust

  •

  Apache License 2.0

  •0•1•0•0•Updated Dec 26, 2019Dec 26, 2019

• Formality-EVM

  Public
  1•0•0•1•Updated Dec 16, 2019Dec 16, 2019

• Superstruct.fm

  Public
  Extensions and Abstractions over Base.fm

  0•2•0•0•Updated Dec 14, 2019Dec 14, 2019

• Whitepaper

  Public
  Moonad: a Peer-to-Peer Operating System

  TeX

  •

  MIT License

  •6•101•0•0•Updated Dec 7, 2019Dec 7, 2019

• Formality-Agda

  Public
  The Formalization of Formality

  Agda

  •0•4•0•0•Updated Dec 3, 2019Dec 3, 2019

• Moonad-Preact

  Public
  TypeScript

  •0•1•0•0•Updated Nov 14, 2019Nov 14, 2019

• docs.formality-lang.org

  Public
  Legacy - Formality Language documentation (ReadTheDocs)

  MIT License

  •2•5•0•0•Updated Nov 14, 2019Nov 14, 2019

• Formality-Docs

  Public
  Formality documentation

  0•1•0•0•Updated Nov 13, 2019Nov 13, 2019

• language-formality

  Public
  Syntax highlight for Formality on Atom

  MIT License

  •0•0•0•0•Updated Nov 6, 2019Nov 6, 2019