CakeML/cakeml

License & maintenance

BSD-3-Clause is a permissive license: free to use commercially with attribution.

Last code push today.

Similar projects

	Repository	Stars	Language	License	Activity
1	vlang/vSimple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports	★ 38k	V	MIT	Active
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	Active
3	gleam-lang/gleam⭐️ A friendly language for building type-safe, scalable systems!	★ 22k	Rust	Apache-2.0	Active
4	crystal-lang/crystalThe Crystal Programming Language	★ 20.5k	Crystal	Apache-2.0	Active
5	odin-lang/OdinOdin Programming Language	★ 12.2k	Odin	Zlib	Active
6	rust-lang/rustEmpowering everyone to build reliable and efficient software.	★ 120.5k	Rust	Apache-2.0	Active
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	Active
8	FuelLabs/sway🌴 Empowering everyone to build reliable and efficient smart contracts.	★ 61.4k	Rust	Apache-2.0	Active