iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain (by runtimeverification)
solana
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces. (by solana-labs)
Our great sponsors
| iele-semantics | solana | |
|---|---|---|
| 6 | 288 | |
| 130 | 12,043 | |
| 0.0% | 4.7% | |
| 1.8 | 9.9 | |
| 9 months ago | 1 day ago | |
| HTML | Rust | |
| GNU General Public License v3.0 or later | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
iele-semantics
Posts with mentions or reviews of iele-semantics.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-06-06.
-
What's the deal with IELE these days?
There hasn't been any development in that projects github in almost two years. Was that a prototype? Has that functionality been shelved? What am I missing?
- What happened to IELE & the K framework?
-
Why More Networks Should Imitate Cardano When It Comes To Writing And Shipping Code | Bitcoinist.com
The only parts that have yet to emerge are RINA, IELE, Scaling, and the Governance parts of the project. From what I can tell, scaling is 10-25% complete, IELE/K framework is at least 50% done, RINA might be impossible with internet's hardware, and Governance is being iterated upon with each catalyst proposal..let's say 45% finished.
- Do we have any update on Runtime Verification IELE bridge?
-
IELE role in Cardano smart contract?
It's still being actively developed and you can follow the development of IELE here: https://github.com/runtimeverification/iele-semantics/ . Since Cardano is a UTXO-based blockchain, it would need to run in an accounting-style sidechain (which is still an active area of research for POS blockchains)
-
Running stake pool as an individual.
Wait for the "ocean" of languages that will be introduced to Cardano via iele-semantics - meaning one day I will be able to code smart contracts in Python.
solana
Posts with mentions or reviews of solana.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-12-06.
-
Projects to contribute to
Solana (9700 GitHub Stars) https://github.com/solana-labs/solana
-
DuneAnalytics - A Guide to Solana for Ethereum Analysts
EIP Core standards: Changes to Solana’s core code go through “feature gates” in the Solana repo. Yes, it’s much less organized than the EIP pages you are used to, and a headache to understand or keep up with. A cost of the speed of development, I’m told.
- Rust Cryptography Should Be Written in Rust
-
How Solana Ignores Security Best Practices
I visited the project on github (https://github.com/solana-labs/solana), and tried to get an overview of the ~800 open issues and ~100 open PRs.
-
Top 10+ Blockchain Networks to look for in 2023
Solana
-
Blockchains: Ethereum vs Solana vs Avalanche vs MultiversX (Elrond). What are the differences?
With the introduction of new and advanced blockchain platforms in the Web 3.0 scene, the narrative around Ethereum has slowly shifted towards its younger “Ethereum Alternatives”. Solana, Avalanche, and MultiversX (former Elrond) are some of the crypto blockchains that are given this terminology, as they share similar features but are comparatively cheaper and better than Ethereum.
-
Helium Mobile
I understand this initiative is connected with Solana network [1] in some way?
-
Hacked for over $2 million on Solana DeFi Exchange Raydium
They do, actually: https://github.com/solana-labs/solana/security/policy
-
Proof of History algorithm
Not sure I understand your question, but if you want the source code you can find it on github (https://github.com/solana-labs/solana)
-
Solana Foundation just held the first-ever core dev community call with engineering teams from across the ecosystem, here's what was discussed!
Some topics that may be discussed in the next call include @ShinobiSystems Timely Vote Credits proposal (https://github.com/solana-labs/solana/blob/master/docs/src/proposals/timely-vote-credits.md), @elusivprivacy new built-in cryptographic operations to accelerate ZK verification (for privacy tech), and feature activation coordination standards.
What are some alternatives?
When comparing iele-semantics and solana you can also consider the following projects:
lion - Where Lions Roam: RISC-V on the VELDT
opensea-js - TypeScript SDK for the OpenSea marketplace
solana-docker-mac-m1 - Docker config for Mac M1, to support development on Solana
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
cosmos-sdk - :chains: A Framework for Building High Value Public Blockchains :sparkles:
mx-chain-go - ⚡ The official implementation of the MultiversX blockchain protocol, written in golang.
trezor-firmware - :lock: Trezor Firmware Monorepo
metaplex - A directory of what the Metaplex Foundation works on!
nano-node - Nano is digital currency. Its ticker is: XNO and its currency symbol is: Ӿ
Zilliqa - Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.
mina-vrf-rs
example-helloworld - Hello world on Solana