relda88 / leo-12
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
β33Updated 10 months ago
Alternatives and similar repositories for leo-12:
Users that are interested in leo-12 are comparing it to the libraries listed below
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SIDβ33Updated 11 months ago
- Radzen Blazor is a set of 70+ free native Blazor UI components packed with DataGrid, Scheduler, Charts and robust theming including Materβ¦β33Updated 10 months ago
- Simple, efficient background processing for Rubyβ33Updated 11 months ago
- Node.js dependency tracing utilityβ33Updated 10 months ago
- β33Updated 3 years ago
- API powering VA.govβ33Updated 10 months ago
- Basecamp Employee Handbookβ29Updated 10 months ago
- Opinionated Ubuntu Setupβ29Updated 10 months ago
- β34Updated 10 months ago
- https://github.com/CryptoMonkey21/sismo-hub.gitβ34Updated 10 months ago
- β33Updated 3 years ago
- β34Updated 10 months ago
- β32Updated 10 months ago
- β31Updated 10 months ago
- β34Updated 10 months ago
- β34Updated 10 months ago
- β34Updated 10 months ago
- β33Updated 10 months ago
- β34Updated 4 years ago
- β32Updated 10 months ago
- β33Updated 10 months ago
- β33Updated 3 years ago
- β32Updated 10 months ago
- This is a demo repository to practice using GitHub.β33Updated 10 months ago
- β33Updated 10 months ago
- β32Updated 10 months ago
- Everything required to run your own Base nodeβ34Updated 10 months ago
- β34Updated 3 years ago
- gpt4all: run open-source LLMs anywhereβ33Updated 10 months ago
- MAMEβ34Updated 10 months ago