CakeML/cakeml

Licencia y mantenimiento

BSD-3-Clause es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hoy.

Proyectos similares

	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