Skip to content

@Soonad Soonad

Change the repository type filter

All

    Repositories list

    35 repositories

    • Formality-WordMap-Benchmark

      Public
      Benchmarking the WordMap pure functional data structure compiled from Formality to JavaScript
      JavaScript
      •0•0•0•1•Updated Mar 5, 2026Mar 5, 2026

    • Moonad-Preact

      Public
      TypeScript
      •0•1•0•8•Updated Feb 4, 2026Feb 4, 2026

    • Formality-image

      Public
      Reads a directory or file and creates a Formality file for each image
      JavaScript
      •
      MIT License
      •2•1•0•2•Updated Mar 5, 2023Mar 5, 2023

    • Formality-Core

      Public
      Specification of the Formality proof and programming language
      programming-languagelambda-calculustype-system
      programming-languagelambda-calculustype-systemfuncional-programmingformality
      JavaScript
      •
      MIT License
      •11•43•1•3•Updated Feb 5, 2023Feb 5, 2023

    • Forall-Server-Legacy

      Public
      Hosts Formality files
      TypeScript
      •
      MIT License
      •0•0•0•19•Updated Jan 24, 2023Jan 24, 2023

    • Unilog

      Public
      Simple event log server
      JavaScript
      •
      MIT License
      •0•0•0•14•Updated Jan 24, 2023Jan 24, 2023

    • moonadog_bot

      Public
      Telegram bot used as assistant for Formality lib codes and other info
      bottelegram-bot
      bottelegram-bot
      JavaScript
      •
      MIT License
      •0•0•0•19•Updated Jan 7, 2023Jan 7, 2023

    • Formality-App

      Public
      Front-end application renderer for Formality-Lang
      JavaScript
      •
      MIT License
      •0•1•0•11•Updated Jan 7, 2023Jan 7, 2023

    • moonad.org-old

      Public
      Website for Moonad
      TypeScript
      •
      MIT License
      •0•4•3•18•Updated Jan 7, 2023Jan 7, 2023

    • moonad-logs

      Public
      JavaScript
      •
      MIT License
      •0•0•0•3•Updated Dec 12, 2022Dec 12, 2022

    • Formality-EVM-example

      Public
      Example compilation of a Formality program to the EVM
      JavaScript
      •0•1•0•3•Updated Dec 5, 2022Dec 5, 2022

    • Forall-Server

      Public
      Elixir
      •1•1•0•4•Updated Dec 4, 2022Dec 4, 2022

    • FormalityFM

      Public
      Formality in itself
      JavaScript
      •
      MIT License
      •2•20•1•1•Updated Nov 30, 2020Nov 30, 2020

    • Moonad.org.snapshots

      Public
      Snapshots of Moonad.org's database
      0•1•0•0•Updated Jul 2, 2020Jul 2, 2020

    • Moonad

      Public
      An upcoming operating system built on Type-Theory
      5•43•1•1•Updated Jul 1, 2020Jul 1, 2020

    • Formality-vscode

      Public
      MIT License
      •2•0•0•1•Updated Jun 22, 2020Jun 22, 2020

    • Bitlog

      Public
      Elixir
      •
      MIT License
      •0•1•0•0•Updated Apr 23, 2020Apr 23, 2020

    • Formality-Lang

      Public
      Temporary repository for the migration to the new version of Formality-Lang
      JavaScript
      •0•1•0•0•Updated Apr 18, 2020Apr 18, 2020

    • Base.fm

      Public
      Standard library for the Formality language
      MIT License
      •2•18•0•2•Updated Mar 22, 2020Mar 22, 2020

    • Scott-Benchmarks

      Public
      JavaScript
      •0•1•0•0•Updated Mar 22, 2020Mar 22, 2020

    • Formality-Haskell

      Public
      A Haskell implementation of the Formality language
      Haskell
      •
      MIT License
      •0•18•0•0•Updated Mar 9, 2020Mar 9, 2020

    • Formbase

      Public
      JavaScript
      •0•6•0•0•Updated Jan 2, 2020Jan 2, 2020

    • bitlog-server

      Public
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Dec 26, 2019Dec 26, 2019

    • Formality-EVM

      Public
      1•0•0•1•Updated Dec 16, 2019Dec 16, 2019

    • Superstruct.fm

      Public
      Extensions and Abstractions over Base.fm
      0•2•0•0•Updated Dec 14, 2019Dec 14, 2019

    • Whitepaper

      Public
      Moonad: a Peer-to-Peer Operating System
      TeX
      •
      MIT License
      •5•101•0•0•Updated Dec 7, 2019Dec 7, 2019

    • Formality-Agda

      Public
      The Formalization of Formality
      Agda
      •0•4•0•0•Updated Dec 3, 2019Dec 3, 2019

    • docs.formality-lang.org

      Public
      Legacy - Formality Language documentation (ReadTheDocs)
      MIT License
      •2•5•0•0•Updated Nov 14, 2019Nov 14, 2019

    • Formality-Docs

      Public
      Formality documentation
      0•1•0•0•Updated Nov 13, 2019Nov 13, 2019

    • language-formality

      Public
      Syntax highlight for Formality on Atom
      MIT License
      •0•0•0•0•Updated Nov 6, 2019Nov 6, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.