GeezerVison

GeezerVison is showing github.com — Soonad

Popular repositories Loading

Whitepaper Whitepaper Public

Moonad: a Peer-to-Peer Operating System

TeX 99 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
Formality-Haskell Formality-Haskell Public

A Haskell implementation of the Formality language

Haskell 19
Base.fm Base.fm Public

Standard library for the Formality language

18 2

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda C Elixir Haskell JavaScript Rust Shell TeX TypeScript

Sort

Last updated Name Stars

Showing 10 of 35 repositories

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

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.