aleo-labs-protocol/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

compilerleoprogramming-languagezero-knowledgezksnarks

Licencia y mantenimiento

GPL-3.0 es una licencia copyleft: los productos que lo incluyan o modifiquen pueden tener que publicar su código.

Último cambio de código hace 11 días.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	vlang/vSimple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports	★ 38k	V	MIT	Activo
2	carbon-language/carbon-langCarbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)	★ 33.9k	C++	Other	Activo
3	gleam-lang/gleam⭐️ A friendly language for building type-safe, scalable systems!	★ 22k	Rust	Apache-2.0	Activo
4	crystal-lang/crystalThe Crystal Programming Language	★ 20.5k	Crystal	Apache-2.0	Activo
5	odin-lang/OdinOdin Programming Language	★ 12.2k	Odin	Zlib	Activo
6	rust-lang/rustEmpowering everyone to build reliable and efficient software.	★ 120.5k	Rust	Apache-2.0	Activo
7	webpack/webpackA bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the applicati	★ 66k	JavaScript	MIT	Activo
8	FuelLabs/sway🌴 Empowering everyone to build reliable and efficient smart contracts.	★ 61.4k	Rust	Apache-2.0	Activo