FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

Soonad · GitHub

Soonad

Moonad repositories that are being ported to Formality

Overview
Repositories
Projects
Packages
People

Popular repositories Loading

Whitepaper Whitepaper Public

Moonad: a Peer-to-Peer Operating System

TeX 101 5
Formality-Core Formality-Core Public

Specification of the Formality proof and programming language

JavaScript 43 11
Moonad Moonad Public

An upcoming operating system built on Type-Theory

43 5
FormalityFM FormalityFM Public

Formality in itself

JavaScript 20 2
Base.fm Base.fm Public

Standard library for the Formality language

18 2
Formality-Haskell Formality-Haskell Public

A Haskell implementation of the Formality language

Haskell 18

Repositories

Type Language Sort

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

Soonad/Formality-WordMap-Benchmark's past year of commit activity

JavaScript 0 0 0 1 Updated Mar 5, 2026
Moonad-Preact Public

Soonad/Moonad-Preact's past year of commit activity

TypeScript 1 0 0 8 Updated Feb 4, 2026
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 43 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

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…

Back | FazBrowse Home | New Git URL