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 101 6

  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 40 11

  4. FormalityFM FormalityFM Public

    Formality in itself

    JavaScript 19 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

    Soonad/Formality-image’s past year of commit activity
    JavaScript 1 MIT 2 0 2 Updated Mar 5, 2023
  • Formality-Core Public

    Specification of the Formality proof and programming language

    Soonad/Formality-Core’s past year of commit activity
    JavaScript 40 MIT 11 1 3 Updated Feb 5, 2023
  • Forall-Server-Legacy Public

    Hosts Formality files

    Soonad/Forall-Server-Legacy’s past year of commit activity
    TypeScript 0 MIT 0 0 19 Updated Jan 24, 2023
  • Unilog Public

    Simple event log server

    Soonad/Unilog’s past year of commit activity
    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

    Soonad/moonadog_bot’s past year of commit activity
    JavaScript 0 MIT 0 0 19 Updated Jan 7, 2023
  • Formality-App Public

    Front-end application renderer for Formality-Lang

    Soonad/Formality-App’s past year of commit activity
    JavaScript 1 MIT 0 0 11 Updated Jan 7, 2023
  • moonad.org-old Public

    Website for Moonad

    Soonad/moonad.org-old’s past year of commit activity
    TypeScript 4 MIT 0 3 (1 issue needs help) 18 Updated Jan 7, 2023
  • moonad-logs Public
    Soonad/moonad-logs’s past year of commit activity
    JavaScript 0 MIT 0 0 3 Updated Dec 12, 2022
  • Formality-EVM-example Public

    Example compilation of a Formality program to the EVM

    Soonad/Formality-EVM-example’s past year of commit activity
    JavaScript 1 0 0 3 Updated Dec 5, 2022
  • Forall-Server Public
    Soonad/Forall-Server’s past year of commit activity
    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…