Skip to content
Change the repository type filter

All

    Repositories list

    • Benchmarking the WordMap pure functional data structure compiled from Formality to JavaScript
      JavaScript
      0001Updated Mar 5, 2026Mar 5, 2026
    • TypeScript
      0108Updated Feb 4, 2026Feb 4, 2026
    • Reads a directory or file and creates a Formality file for each image
      JavaScript
      MIT License
      2102Updated Mar 5, 2023Mar 5, 2023
    • Specification of the Formality proof and programming language
      JavaScript
      MIT License
      114313Updated Feb 5, 2023Feb 5, 2023
    • Hosts Formality files
      TypeScript
      MIT License
      00019Updated Jan 24, 2023Jan 24, 2023
    • Unilog

      Public
      Simple event log server
      JavaScript
      MIT License
      00014Updated Jan 24, 2023Jan 24, 2023
    • Telegram bot used as assistant for Formality lib codes and other info
      JavaScript
      MIT License
      00019Updated Jan 7, 2023Jan 7, 2023
    • Front-end application renderer for Formality-Lang
      JavaScript
      MIT License
      01011Updated Jan 7, 2023Jan 7, 2023
    • Website for Moonad
      TypeScript
      MIT License
      04318Updated Jan 7, 2023Jan 7, 2023
    • JavaScript
      MIT License
      0003Updated Dec 12, 2022Dec 12, 2022
    • Example compilation of a Formality program to the EVM
      JavaScript
      0103Updated Dec 5, 2022Dec 5, 2022
    • Elixir
      1104Updated Dec 4, 2022Dec 4, 2022
    • Formality in itself
      JavaScript
      MIT License
      22011Updated Nov 30, 2020Nov 30, 2020
    • Snapshots of Moonad.org's database
      0100Updated Jul 2, 2020Jul 2, 2020
    • Moonad

      Public
      An upcoming operating system built on Type-Theory
      54311Updated Jul 1, 2020Jul 1, 2020
    • MIT License
      2001Updated Jun 22, 2020Jun 22, 2020
    • Bitlog

      Public
      Elixir
      MIT License
      0100Updated Apr 23, 2020Apr 23, 2020
    • Temporary repository for the migration to the new version of Formality-Lang
      JavaScript
      0100Updated Apr 18, 2020Apr 18, 2020
    • Base.fm

      Public
      Standard library for the Formality language
      MIT License
      21802Updated Mar 22, 2020Mar 22, 2020
    • JavaScript
      0100Updated Mar 22, 2020Mar 22, 2020
    • A Haskell implementation of the Formality language
      Haskell
      MIT License
      01800Updated Mar 9, 2020Mar 9, 2020
    • Formbase

      Public
      JavaScript
      0600Updated Jan 2, 2020Jan 2, 2020
    • Rust
      Apache License 2.0
      0100Updated Dec 26, 2019Dec 26, 2019
    • 1001Updated Dec 16, 2019Dec 16, 2019
    • Extensions and Abstractions over Base.fm
      0200Updated Dec 14, 2019Dec 14, 2019
    • Moonad: a Peer-to-Peer Operating System
      TeX
      MIT License
      510100Updated Dec 7, 2019Dec 7, 2019
    • The Formalization of Formality
      Agda
      0400Updated Dec 3, 2019Dec 3, 2019
    • Legacy - Formality Language documentation (ReadTheDocs)
      MIT License
      2500Updated Nov 14, 2019Nov 14, 2019
    • Formality documentation
      0100Updated Nov 13, 2019Nov 13, 2019
    • Syntax highlight for Formality on Atom
      MIT License
      0000Updated Nov 6, 2019Nov 6, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.