ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity
8a7f8394a9
leo/examples
History
Zk 8a7f8394a9 Fix ci/circleci: test-examples
2024-01-15 15:45:08 -08:00
..
auction WIP removing input files from examples 2024-01-15 15:45:07 -08:00
basic_bank WIP removing input files from examples 2024-01-15 15:45:07 -08:00
battleship Remove input files written in leo example 2024-01-15 15:45:07 -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 Update examples and CI 2024-01-15 15:45:08 -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 and CI 2024-01-15 15:45:08 -08:00
simple_token Update examples and CI 2024-01-15 15:45:08 -08:00
tictactoe Update CI and examples 2024-01-15 15:45:08 -08: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 Fix ci/circleci: test-examples 2024-01-15 15:45:08 -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>