Lion is a formally verified open source RISC-V core

www.reddit.com

cross-posted to:
libre_hardware

Lion is a formally verified open source RISC-V core

www.reddit.com

wiki_me to

Open Source · 4 years ago

cross-posted to:
libre_hardware

You must log in or # to comment.

Chat

Open Source

opensource

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !opensource@lemmy.ml

All about open source! Feel free to ask questions, and share news, and interesting stuff!

Useful Links

Rules

Posts must be relevant to the open source ideology
No NSFW content
No hate speech, bigotry, etc

Related Communities

Community icon from opensource.org, but we are not affiliated with them.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

354 users / day
1.96K users / week
4.88K users / month
12.6K users / 6 months
9.44K local subscribers
31.2K subscribers
3.1K Posts
35.4K Comments
Modlog