L
leo
@ProvableHQ
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GPL-3.0 Commit 3 dagen geleden ★ 4.823
Pijlers en weging
Waarom deze score
- GPL-3.0 (sterk copyleft)
- Laatste commit 2 dagen geleden
- Uitgebracht in de afgelopen 12 maanden
- Top 26% naar sterren in Developer Tools › Developer Utilities
Feiten
- Licentie
- GPL-3.0 (Sterk copyleft)
- Taal
- Rust
- GitHub-sterren
- 4.823
- Laatste commit
- 2026-09-25 (3 dagen geleden)
- Laatste release
- 2026-09-17T20:35:15Z
- OpenSSF Scorecard
- Nog niet gemeten
- Zelf hosten
- Niet vastgesteld
- Maintainer-locatie
- Onbekend
- Bron
- github-crawl
Alternatieven in Developer Utilities
01 87 02 85 03 78 04 78
C
Coder
Remote development machines on your own infrastructure.
E
Eclipse Che
Open source workspace server and cloud IDE.
O
open-connector
Open-source auth gateway connecting 1500+ SaaS providers to AI agents through SDK, CLI, MCP, HTTP, and OpenAPI.
A
avante.nvim
Use your Neovim like using Cursor AI IDE!