lion
solana
Our great sponsors
lion | solana | |
---|---|---|
10 | 288 | |
242 | 12,043 | |
0.8% | 4.7% | |
4.3 | 9.9 | |
about 2 months ago | about 13 hours ago | |
Haskell | Rust | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
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.
lion
-
A year of RISC-V adventures: embracing chaos in your software journey [video]
I've been starting to dabble with digital logic design via Clash (https://clash-lang.org/), and there is a very cool-looking RISC-V SoC project done in that tool that looks fairly serious: https://github.com/standardsemiconductor/lion.
-
C++ Concurrency Model on x86 for Dummies
That’s fascinating about the M1. In retrospect it seems like kind of a no-brainer but I doubt I would have thought of it.
SPARC had different memory models at different ISA revs IIRC: it’s been like 20 years since I was dealing with SPARC so I might be misremembering the details. Alpha would have been a better example.
RISC-V is really interesting. I’ve been slowly working through this: https://github.com/standardsemiconductor/lion, highly recommend!
-
Why More Networks Should Imitate Cardano When It Comes To Writing And Shipping Code | Bitcoinist.com
Interesting. Actually, you may be just the person to answer my question: Is it possible/plausible to run a Cardano node on Lion OS on a RISC-V machine? IMO, it would be great for the community if we could run all Cardano stake pools on end to end formally verified machines using open source core and hardware.
- Lion is a formally verified, 5-stage pipeline RISC-V core
- Lion: A formally verified, 5-stage pipeline RISC-V core
-
Hacker News top posts: Mar 4, 2021
Lion: A formally verified, 5-stage pipeline RISC-V core\ (30 comments)
-
Where Lions Roam: RISC-V on the VELDT
In addition, you can actually set the riscv-formal suite to verify correctness by k-induction: https://github.com/SymbioticEDA/riscv-formal/pull/28 https://symbiyosys.readthedocs.io/en/latest/quickstart.html#beyond-bounded-model-checks although I concur that by looking at https://github.com/standardsemiconductor/lion/blob/main/lion-formal/app/Main.hs the lion core is only verified with BMC.
solana
-
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?
prometheus-cpp - Prometheus Client Library for Modern C++
opensea-js - TypeScript SDK for the OpenSea marketplace
riscv-formal - RISC-V Formal Verification Framework
solana-docker-mac-m1 - Docker config for Mac M1, to support development on Solana
cocotb - cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
atomic-story - Understanding how atomics and memory ordering work
cosmos-sdk - :chains: A Framework for Building High Value Public Blockchains :sparkles:
VexRiscv - A FPGA friendly 32 bit RISC-V CPU implementation
mx-chain-go - ⚡ The official implementation of the MultiversX blockchain protocol, written in golang.
libcxx - Project moved to: https://github.com/llvm/llvm-project
trezor-firmware - :lock: Trezor Firmware Monorepo