ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
RustGPL-3.0
Issues
- 1
contributor badge
#28109 opened by princekumar0456 - 1
[Feature] Quick redeployments to new networks
#28083 opened by evan-schott - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28115 opened by stutter-task0q - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28114 opened by fauns-baptism - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28113 opened by picture-tickers - 0
[Docs] the problem with the hyphen
#28112 opened by agency-punier - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28111 opened by cadges-harbors - 0
[Docs] Problems with the "bot" tag
#28110 opened by abiding-chooser - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28108 opened by tirades-spare - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28107 opened by outlier-sworn - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28106 opened by malware-rucks0q - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28105 opened by radian-filter - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28104 opened by quick-dryad - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28103 opened by tern-mottoes - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28102 opened by ripple-caster - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28101 opened by pilots-grille - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28100 opened by cologne-laps - 0
[Docs] The "bot" tag
#28099 opened by lager-rondos - 0
[Bug] Nested import compilation bug
#28070 opened by MaciejNadolski98 - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28097 opened by lapdogs-papaw - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28096 opened by fluid-bipedal - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28095 opened by swamps-matrix - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28094 opened by earths-vase - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28091 opened by owlets-buffer-0y - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28090 opened by pageant-sunlit - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28089 opened by chops-07-chum - 0
[Docs] The "bot" tag has not been removed
#28088 opened by lad-sharper - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28087 opened by hairdo-glosses - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28086 opened by chaser-hotpot - 0
[Feature] Consistent logging from CLI tools
#28084 opened by evan-schott - 0
[Feature] Add `Canary` network to CLI
#28082 opened by d0cd - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28080 opened by detox-lend - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28079 opened by owing-evident - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28078 opened by relics-04deceit - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28077 opened by arid-hipster0m - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28076 opened by bodied-helium - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28075 opened by laugh-detours - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28074 opened by plainer-metes - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28073 opened by headway-mordant - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28072 opened by nereid-experts - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28071 opened by receipt-quintet - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28069 opened by hubcaps-segue - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28068 opened by careful-exurbia0j - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28067 opened by ramp-hisses0e - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28066 opened by motels-rocker - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28065 opened by cyclops-psi - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28064 opened by acuity-motel - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28063 opened by zinnia-serifs - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28062 opened by sob-bedpost0q - 0
[Docs] The badge request processing script truncates the part of the name after the hyphen
#28061 opened by glazing-town