Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ This repository serves as a public source for documentation source files about A
You can find them in readable form at [Developer Docs](https://docs.leo-lang.org/).
Other resources you may find helpful include:

- [📡 SnarkOS](http://snarkos.org/) - A decentralized operating system for private applications.
- [⚙️ SnarkVM](https://snarkvm.org/) - A virtual machine for zero-knowledge proofs.
- [📡 SnarkOS](https://developer.aleo.org/concepts/network/zkcloud/snarkos) - A decentralized operating system for private applications.
- [⚙️ SnarkVM](https://developer.aleo.org/concepts/network/zkcloud/snarkvm) - A virtual machine for zero-knowledge proofs.
- [🦁 Leo](https://leo-lang.org/) - A programming language for zero-knowledge proofs.
- [🛝 Playground](http://play.leo-lang.org) - A browser interface to the Leo compiler for rapid ZK development and testing.
- [🧰 SDK](https://provable.tools/) - A Software Development Kit (SDK) for Aleo.
Expand Down