Soonad

Moonad repositories that are being ported to Formality

Pinned Repositories

Base.fm
Standard library for the Formality language
18 7 32
Formality-C
An implementation of the Formality language in C
Language:C13 8 04
Formality-Core
Specification of the Formality proof and programming language
Language:JavaScript40 8 311
Formality-Haskell
A Haskell implementation of the Formality language
Language:Haskell18 10 00
Formality-Net-Animator
Animations for Elementary-Affine-Net interactions
Language:JavaScript11 4 02
Formality-to-EVM
An interaction net interpreter on the Ethereum Virtual Machine
Language:JavaScript7 5 00
FormalityFM
Formality in itself
Language:JavaScript19 9 12
Formbase
Language:JavaScript6 2 00
Moonad
An upcoming operating system built on Type-Theory
43 9 65
Whitepaper
Moonad: a Peer-to-Peer Operating System
Language:TeX101 18 16

Soonad's Repositories

Soonad/Whitepaper
Moonad: a Peer-to-Peer Operating System
Language:TeX101 18 16
Soonad/Moonad
An upcoming operating system built on Type-Theory
43 9 65
Soonad/Formality-Core
Specification of the Formality proof and programming language
Language:JavaScript40 8 311
Soonad/FormalityFM
Formality in itself
Language:JavaScript19 9 12
Soonad/Base.fm
Standard library for the Formality language
18 7 32
Soonad/Formality-Haskell
A Haskell implementation of the Formality language
Language:Haskell18 10 00
Soonad/Formbase
Language:JavaScript6 2 00
Soonad/docs.formality-lang.org
Legacy - Formality Language documentation (ReadTheDocs)
5 5 12
Soonad/Formality-Agda
The Formalization of Formality
Language:Agda4 4 0
Soonad/moonad.org-old
Website for Moonad
Language:TypeScript4 2 13
Soonad/Superstruct.fm
Extensions and Abstractions over Base.fm
2 3 0
Soonad/Bitlog
Language:Elixir1 4 0
Soonad/bitlog-server
Language:Rust1 2 0
Soonad/Forall-Server
Language:Elixir1 3 01
Soonad/Formality-App
Front-end application renderer for Formality-Lang
Language:JavaScript1 3 0
Soonad/Formality-Docs
Formality documentation
1 5 0
Soonad/Formality-EVM-example
Example compilation of a Formality program to the EVM
Language:JavaScript1 3 0
Soonad/Formality-image
Reads a directory or file and creates a Formality file for each image
Language:JavaScript1 2 02
Soonad/Formality-Lang
Temporary repository for the migration to the new version of Formality-Lang
Language:JavaScript1 3 0
Soonad/Moonad-Preact
Language:TypeScript1 3 0
Soonad/Moonad.org.snapshots
Snapshots of Moonad.org's database
1 4 0
Soonad/Scott-Benchmarks
Language:JavaScript1 1 0
Soonad/Forall-Server-Legacy
Hosts Formality files
Language:TypeScript2 0
Soonad/Formality-EVM
3 01
Soonad/Formality-vscode
2 02
Soonad/Formality-WordMap-Benchmark
Benchmarking the WordMap pure functional data structure compiled from Formality to JavaScript
Language:JavaScript2 0
Soonad/language-formality
Syntax highlight for Formality on Atom
3 0
Soonad/moonad-logs
Language:JavaScript4 0
Soonad/moonadog_bot
Telegram bot used as assistant for Formality lib codes and other info
Language:JavaScript2 0
Soonad/Unilog
Simple event log server
Language:JavaScript2 0