@Soonad
Guthub

Soonad

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

Whitepaper

Moonad: a Peer-to-Peer Operating System
TeX
101
star
2

Moonad

An upcoming operating system built on Type-Theory
43
star
3

Formality-Core

Specification of the Formality proof and programming language
JavaScript
40
star
4

FormalityFM

Formality in itself
JavaScript
19
star
5

Base.fm

Standard library for the Formality language
18
star
6

Formality-Haskell

A Haskell implementation of the Formality language
Haskell
18
star
7

Formality-C

An implementation of the Formality language in C
C
13
star
8

Formality-Net-Animator

Animations for Elementary-Affine-Net interactions
JavaScript
11
star
9

Formality-to-EVM

An interaction net interpreter on the Ethereum Virtual Machine
JavaScript
7
star
10

Formbase

JavaScript
6
star
11

docs.formality-lang.org

Legacy - Formality Language documentation (ReadTheDocs)
5
star
12

Formality-Agda

The Formalization of Formality
Agda
4
star
13

moonad.org-old

Website for Moonad
TypeScript
4
star
14

Formality-Problems

3
star
15

Superstruct.fm

Extensions and Abstractions over Base.fm
2
star
16

bitlog-server

Rust
1
star
17

Formality-App

Front-end application renderer for Formality-Lang
JavaScript
1
star
18

Formality-EVM-example

Example compilation of a Formality program to the EVM
JavaScript
1
star
19

Formality-image

Reads a directory or file and creates a Formality file for each image
JavaScript
1
star
20

Moonad.org.snapshots

Snapshots of Moonad.org's database
1
star
21

Scott-Benchmarks

JavaScript
1
star
22

Bitlog

Elixir
1
star
23

Formality-Docs

Formality documentation
1
star
24

Formality-Lang

Temporary repository for the migration to the new version of Formality-Lang
JavaScript
1
star
25

Moonad-Preact

TypeScript
1
star
26

Forall-Server

Elixir
1
star