VictorTaelin / Moonad-web-legacyView external linksLinks
A Peer-to-Peer Operating System
☆36Mar 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
Sorting:
- Moonad: a Peer-to-Peer Operating System☆101Dec 7, 2019Updated 6 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 5 years ago
- Formality in itself☆20Nov 30, 2020Updated 5 years ago
- Specification of the Formality proof and programming language☆42Feb 5, 2023Updated 3 years ago
- A nano "theorem prover".☆62Feb 15, 2019Updated 7 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- ☆43Mar 3, 2021Updated 4 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Mar 24, 2019Updated 6 years ago
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Jul 23, 2020Updated 5 years ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆16Jan 12, 2026Updated last month
- Agda libraries relevant to Moonad☆14Apr 2, 2019Updated 6 years ago
- Contracts for cyberGift execution☆13Mar 4, 2024Updated last year
- Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption☆27Sep 15, 2018Updated 7 years ago
- A toolchain for bringing web2 to web3☆13Nov 11, 2019Updated 6 years ago
- Golang implementation of (2,3) XOR threshold secret sharing.☆16Jul 29, 2019Updated 6 years ago
- Absal ex☆59Sep 8, 2023Updated 2 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆46May 11, 2020Updated 5 years ago
- Small app for huge community growth☆16Aug 23, 2019Updated 6 years ago
- [outdated] A moddable MOBA in Formality☆96Jan 7, 2023Updated 3 years ago
- Projects in the Cosmos and Tendermint ecosystem 🌌☆15Jan 13, 2021Updated 5 years ago
- Universal token bonding for Cosmos networks☆14Mar 3, 2022Updated 3 years ago
- Foundations of cybics☆15Sep 25, 2021Updated 4 years ago
- A simple trading bot built with MelonJS☆16Jan 24, 2023Updated 3 years ago
- Thoughts and stuff☆71Apr 30, 2020Updated 5 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Jun 17, 2019Updated 6 years ago
- Web3 Blockchain Explorer. Validator, Mining Pool, Token and Network Real-time Metrics. Interactive Onchain Dashboard☆28Updated this week
- Multiplication on optimal λ-calculus reducers☆22Aug 14, 2020Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- An open source smart contract platform☆18Jan 13, 2021Updated 5 years ago
- Common tasks for Erlang projects that use Mix☆21Jun 27, 2018Updated 7 years ago
- Integrated Exporter for CosmosSDK☆19Feb 15, 2023Updated 3 years ago
- A dmenu and rofi inspired menu☆21Mar 1, 2018Updated 7 years ago
- heart☆41Sep 19, 2017Updated 8 years ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- A minimal proof language.☆212Jan 26, 2019Updated 7 years ago
- Minimal code-interchange format☆193Jun 15, 2020Updated 5 years ago
- Proof of Work by Cuckoo Cycle in Go☆24Mar 9, 2021Updated 4 years ago
- learning cuda☆19Jun 27, 2016Updated 9 years ago
- The world's first sybil resistant, fully decentralized reputation protocol.☆26Mar 7, 2019Updated 6 years ago