VictorTaelin/Moonad-web-legacy external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

VictorTaelin/Moonad-web-legacy

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/VictorTaelin/Moonad-web-legacy)

Close

VictorTaelin / Moonad-web-legacyView on GitHubMore

• External links
• Readme badge

A Peer-to-Peer Operating System

☆37Mar 17, 2019Updated 6 years ago

Alternatives and similar repositories for Moonad-web-legacy

Users that are interested in Moonad-web-legacy are comparing it to the libraries listed below

• VictorTaelin / escoc-libs-legacy

  View on GitHub
  Base Formality libraries
  ☆10Mar 4, 2019Updated 7 years ago
• Soonad / Whitepaper

  View on GitHub
  Moonad: a Peer-to-Peer Operating System
  ☆101Dec 7, 2019Updated 6 years ago
• Soonad / Formality-Haskell

  View on GitHub
  A Haskell implementation of the Formality language
  ☆18Mar 9, 2020Updated 6 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy

  View on GitHub
  Minimal, efficient proof language
  ☆15May 28, 2019Updated 6 years ago
• Soonad / FormalityFM

  View on GitHub
  Formality in itself
  ☆20Nov 30, 2020Updated 5 years ago
• VictorTaelin / absal-ex

  View on GitHub
  Absal ex
  ☆60Sep 8, 2023Updated 2 years ago
• VictorTaelin / ESCoC

  View on GitHub
  A nano "theorem prover".
  ☆63Feb 15, 2019Updated 7 years ago
• VictorTaelin / parallel_lambda_computer_tests

  View on GitHub
  learning cuda
  ☆20Jun 27, 2016Updated 9 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• VictorTaelin / Formality

  View on GitHub
  ☆45Mar 3, 2021Updated 5 years ago
• astump / cedilleum-spec

  View on GitHub
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆28Mar 24, 2019Updated 6 years ago
• DestructHub / lelerax-legacy

  View on GitHub
  Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.
  ☆11Jul 23, 2020Updated 5 years ago
• andynog / cosmocope

  View on GitHub
  Find repositories, releases, and modules for projects in the Cosmos ecosystem.
  ☆16Jan 12, 2026Updated last month
• moonad-archive / Formality-JavaScript

  View on GitHub
  An implementation of the Formality language in JavaScript
  ☆71Aug 27, 2019Updated 6 years ago
• nucypher / Sputnik

  View on GitHub
  Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption
  ☆27Sep 15, 2018Updated 7 years ago
• cybercongress / crawler

  View on GitHub
  A toolchain for bringing web2 to web3
  ☆13Nov 11, 2019Updated 6 years ago
• fairDataSociety / Fairdrive

  View on GitHub
  Fairdrive is a dApp that enables decentralized storage on Swarm. It consists of a typical "Drive" interface with files and folders, and a…
  ☆11Feb 9, 2022Updated 4 years ago
• wybiral / tshare

  View on GitHub
  Golang implementation of (2,3) XOR threshold secret sharing.
  ☆16Jul 29, 2019Updated 6 years ago
• cybercongress / cybaca

  View on GitHub
  Small app for huge community growth
  ☆16Aug 23, 2019Updated 6 years ago
• moonad / TaelinArena

  View on GitHub
  [outdated] A moddable MOBA in Formality
  ☆97Jan 7, 2023Updated 3 years ago
• ixofoundation / Bonds

  View on GitHub
  Universal token bonding for Cosmos networks
  ☆14Mar 3, 2022Updated 4 years ago
• VictorTaelin / Cedille-Core

  View on GitHub
  A minimal proof language.
  ☆213Jan 26, 2019Updated 7 years ago
• VictorTaelin / articles

  View on GitHub
  Thoughts and stuff
  ☆72Apr 30, 2020Updated 5 years ago
• mastercyb / cybics

  View on GitHub
  Foundations of cybics
  ☆15Sep 25, 2021Updated 4 years ago
• VictorTaelin / absal-rs

  View on GitHub
  ☆36Jul 30, 2018Updated 7 years ago
• citizenweb3 / validatorinfo

  View on GitHub
  Web3 Blockchain Explorer. Validator, Mining Pool, Token and Network Real-time Metrics. Interactive Onchain Dashboard
  ☆29Updated this week
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• cyberway / cyberway

  View on GitHub
  An open source smart contract platform
  ☆18Jan 13, 2021Updated 5 years ago
• alco / mix-erlang-tasks

  View on GitHub
  Common tasks for Erlang projects that use Mix
  ☆21Jun 27, 2018Updated 7 years ago
• node-a-team / Cosmos-IE

  View on GitHub
  Integrated Exporter for CosmosSDK
  ☆19Feb 15, 2023Updated 3 years ago
• VictorTaelin / heart

  View on GitHub
  heart
  ☆42Sep 19, 2017Updated 8 years ago
• cybercongress / cyb-snap

  View on GitHub
  cyb snap for metamask / cyber and cosmos wallet
  ☆19Mar 11, 2020Updated 5 years ago
• Obijuan / obijuan.github.io

  View on GitHub
  My personal web page
  ☆11Feb 17, 2026Updated 2 weeks ago
• ethereum / moon-lang

  View on GitHub
  Minimal code-interchange format
  ☆193Jun 15, 2020Updated 5 years ago
• GolosChain / wiki

  View on GitHub
  Вики знания о проекте Голос
  ☆17Mar 2, 2020Updated 6 years ago
• sahajgarg / ftw-reputation

  View on GitHub
  The world's first sybil resistant, fully decentralized reputation protocol.
  ☆29Mar 7, 2019Updated 7 years ago
• kraftjectory / secrex

  View on GitHub
  Simple and secure secrets manager in Elixir projects
  ☆28Jul 6, 2023Updated 2 years ago
• farazhaider / lispex

  View on GitHub
  Lisp Interpreter in Elixir
  ☆26Jul 3, 2018Updated 7 years ago
• aragon / aragon-chain

  View on GitHub
  (Deprecated) Proof-of-Stake, EVM-compatible blockchain focused on DAOs
  ☆24Mar 8, 2023Updated 3 years ago