ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 13:25:30 +03:00
Code Issues Packages Projects Releases Wiki Activity
75f43b311d
leo/examples
History
Pranav Gaddamadugu 7dfecd41b1 Update LicenseHeader and Cargo metadata
2024-09-04 11:48:02 -07:00
..
auction Update LicenseHeader and Cargo metadata 2024-09-04 11:48:02 -07:00
basic_bank Update LicenseHeader and Cargo metadata 2024-09-04 11:48:02 -07:00
battleship Set defaults 2024-07-08 09:30:10 -07:00
bubblesort Set defaults 2024-07-08 09:30:10 -07:00
core Set defaults 2024-07-08 09:30:10 -07:00
fibonacci Set defaults 2024-07-08 09:30:10 -07:00
groups Set defaults 2024-07-08 09:30:10 -07:00
hackers-delight Set defaults 2024-07-08 09:30:10 -07:00
helloworld Set defaults 2024-07-08 09:30:10 -07:00
interest Set defaults 2024-07-08 09:30:10 -07:00
lottery Set defaults 2024-07-08 09:30:10 -07:00
message Set defaults 2024-07-08 09:30:10 -07:00
simple_token Set defaults 2024-07-08 09:30:10 -07:00
tictactoe Set defaults 2024-07-08 09:30:10 -07:00
token Set defaults 2024-07-08 09:30:10 -07:00
twoadicity Set defaults 2024-07-08 09:30:10 -07:00
vote Set defaults 2024-07-08 09:30:10 -07:00
README.md WIP removing input files from examples 2024-01-15 15:45:07 -08:00

README.md

Leo Examples

This directory includes the following Leo code including:

  1. Hello World -> Basic Sum of two u32
  2. Groups -> Basic operations over groups
  3. Core -> Core functions over a field type
  4. Bubblesort -> Sorting algorithms over a tuple
  5. Message -> Initialization of a struct
  6. Token -> Record example

along with many more.

Run Guide

To run each program, run:

leo run main <inputs>

Execute Guide

To execute each program call, run:

leo execute main <inputs>