AbsInt/CompCert

Licencia y mantenimiento

Licencia propia o modificada que GitHub no reconoce: lee el archivo LICENSE del repositorio antes de usarlo en un producto.

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

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	DoctorWkt/acwjA Compiler Writing Journey	★ 13.5k	C	GPL-3.0	Menos activo
2	munificent/craftinginterpretersRepository for the book "Crafting Interpreters"	★ 11.1k	HTML	Other	Sin cambios
3	rust-lang/rustEmpowering everyone to build reliable and efficient software.	★ 120.5k	Rust	Apache-2.0	Activo
4	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
5	git/gitGit Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget	★ 63.9k	C	Other	Activo
6	FuelLabs/sway🌴 Empowering everyone to build reliable and efficient smart contracts.	★ 61.4k	Rust	Apache-2.0	Activo
7	typst/typstA markup-based typesetting system that is powerful and easy to learn.	★ 56.7k	Rust	Apache-2.0	Activo
8	babel/babel🐠 Babel is a compiler for writing next generation JavaScript.	★ 44.1k	TypeScript	MIT	Activo