ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-09 20:38:46 +03:00
Code Issues Packages Projects Releases Wiki Activity
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
13 Commits 48 Branches 43 Tags 377 MiB
Rust 97.6%
Shell 2.4%
f6aa41d52a
Go to file
acoglio f6aa41d52a deploy: e90c125c52
2021-08-30 17:11:24 +00:00
implementors deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo deploy: cbd52cea71 2021-08-28 17:46:52 +00:00
leo_abnf deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
leo_asg deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_asg_passes deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_ast deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_ast_passes deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_compiler deploy: e90c125c52 2021-08-30 17:11:24 +00:00
leo_errors deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_imports deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_input deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
leo_lang deploy: cbd52cea71 2021-08-28 17:46:52 +00:00
leo_linter deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
leo_package deploy: cbd52cea71 2021-08-28 17:46:52 +00:00
leo_parser deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
leo_state deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
leo_synthesizer deploy: fd3d7d0624 2021-08-23 14:27:50 +00:00
leo_test_framework deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
src deploy: cbd52cea71 2021-08-28 17:46:52 +00:00
tgc deploy: cbd52cea71 2021-08-28 17:46:52 +00:00
.lock deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
.nojekyll deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
ayu.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
brush.svg deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
clipboard.svg deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
COPYRIGHT.txt deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
crates.js deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
dark.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
down-arrow.svg deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
favicon-16x16.png deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
favicon-32x32.png deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
favicon.svg deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
FiraSans-LICENSE.txt deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
FiraSans-Medium.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
FiraSans-Medium.woff2 deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
FiraSans-Regular.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
FiraSans-Regular.woff2 deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
index.html deploy: 4ad9de07e8 2021-08-28 17:48:29 +00:00
LICENSE-APACHE.txt deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
LICENSE-MIT.txt deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
light.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
main.js deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
normalize.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
noscript.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
noto-sans-kr-v13-korean-regular-LICENSE.txt deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
noto-sans-kr-v13-korean-regular.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
rust-logo.png deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
rustdoc.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
search-index.js deploy: cbd52cea71 2021-08-28 17:46:52 +00:00
search.js deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
settings.css deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
settings.html deploy: 4ad9de07e8 2021-08-28 17:48:29 +00:00
settings.js deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
source-files.js deploy: fed3b1e16a 2021-08-27 16:32:56 +00:00
source-script.js deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceCodePro-It.ttf.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceCodePro-LICENSE.txt deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceCodePro-Regular.ttf.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceCodePro-Semibold.ttf.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceSerif4-Bold.ttf.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceSerif4-It.ttf.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceSerif4-LICENSE.md deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
SourceSerif4-Regular.ttf.woff deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
storage.js deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00
wheel.svg deploy: 235daa9ee4 2021-08-18 23:11:58 +00:00