ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
59e7c6c35c
leo/examples
History
metavind 2cade3e00b
fix: correct typos for win check
2024-03-31 21:47:58 +02:00
..
auction Merge pull request #5329 from tudorpintea999/tudorpintea999-fix-typos 2024-01-16 11:58:06 +08:00
basic_bank Merge pull request #5329 from tudorpintea999/tudorpintea999-fix-typos 2024-01-16 11:58:06 +08:00
battleship clarify external structs 2024-02-09 16:10:32 -08:00
bubblesort Update examples and CI 2024-01-15 15:45:08 -08:00
core Update examples and CI 2024-01-15 15:45:08 -08:00
fibonacci Update examples and CI 2024-01-15 15:45:08 -08:00
groups Update examples and CI 2024-01-15 15:45:08 -08:00
hackers-delight Merge pull request #24797 from stanlagermin/fix_typos 2024-01-22 14:35:56 -08:00
helloworld Update examples and CI 2024-01-15 15:45:08 -08:00
interest Update examples and CI 2024-01-15 15:45:08 -08:00
lottery Update examples and CI 2024-01-15 15:45:08 -08:00
message Update examples 2024-01-15 15:45:09 -08:00
simple_token Update examples 2024-01-15 15:45:09 -08:00
tictactoe fix: correct typos for win check 2024-03-31 21:47:58 +02:00
token Update CI and examples 2024-01-15 15:45:08 -08:00
twoadicity Update examples and CI 2024-01-15 15:45:08 -08:00
vote Update examples 2024-01-15 15:45:09 -08: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>