pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/Soonad

ymous" media="all" rel="stylesheet" href="https://github.githubassets.com/assets/primer-b69241e157469407.css" /> Soonad · GitHub
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 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 42 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
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…
pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.




Check this box to remove all script contents from the fetched content.



Check this box to remove all images from the fetched content.


Check this box to remove all CSS styles from the fetched content.


Check this box to keep images inefficiently compressed and original size.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy