idris-lang/Idris-dev

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 20 meses. Archivado: solo lectura, sin más actualizaciones.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Activo
2	microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.	★ 111.5k	Go	Apache-2.0	Activo
3	denoland/denoA modern runtime for JavaScript and TypeScript.	★ 108.7k	Rust	MIT	Activo
4	python/cpythonThe Python programming language	★ 77.7k	Python	Other	Activo
5	swiftlang/swiftThe Swift Programming Language	★ 70.5k	Swift	Apache-2.0	Activo
6	karan/Projects:page_with_curl: A list of practical projects that anyone can solve in any programming language.	★ 48k	—	MIT	Sin cambios
7	php/php-srcThe PHP Interpreter	★ 40.4k	C	BSD-3-Clause	Activo
8	linera-io/linera-protocolMain repository for the Linera protocol	★ 32.1k	Rust	Apache-2.0	Activo