Skip to content
@Soonad

Soonad

Moonad repositories that are being ported to Formality

Popular repositories Loading

  1. Whitepaper Whitepaper Public

    Moonad: a Peer-to-Peer Operating System

    TeX 102 5

  2. Moonad Moonad Public

    An upcoming operating system built on Type-Theory

    43 5

  3. Formality-Core Formality-Core Public

    Specification of the Formality proof and programming language

    JavaScript 41 11

  4. FormalityFM FormalityFM Public

    Formality in itself

    JavaScript 20 2

  5. Base.fm Base.fm Public

    Standard library for the Formality language

    18 2

  6. Formality-Haskell Formality-Haskell Public

    A Haskell implementation of the Formality language

    Haskell 18

Repositories

Showing 10 of 35 repositories
  • Formality-image Public

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

    JavaScript 1 MIT 2 0 2 Updated Mar 5, 2023
  • Formality-Core Public

    Specification of the Formality proof and programming language

    JavaScript 41 MIT 11 1 3 Updated Feb 5, 2023
  • Forall-Server-Legacy Public

    Hosts Formality files

    TypeScript 0 MIT 0 0 19 Updated Jan 24, 2023
  • Unilog Public

    Simple event log server

    JavaScript 0 MIT 0 0 14 Updated Jan 24, 2023
  • moonadog_bot Public

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

    JavaScript 0 MIT 0 0 19 Updated Jan 7, 2023
  • Formality-App Public

    Front-end application renderer for Formality-Lang

    JavaScript 1 MIT 0 0 11 Updated Jan 7, 2023
  • moonad.org-old Public

    Website for Moonad

    TypeScript 4 MIT 0 3 (1 issue needs help) 18 Updated Jan 7, 2023
  • moonad-logs Public
    JavaScript 0 MIT 0 0 3 Updated Dec 12, 2022
  • Formality-EVM-example Public

    Example compilation of a Formality program to the EVM

    JavaScript 1 0 0 3 Updated Dec 5, 2022
  • Forall-Server Public
    Elixir 1 1 0 4 Updated Dec 4, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…