idris-lang/Idris2

A purely functional programming language with first class types

compilerdependent-typeshacktoberfest

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 5 días.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	markedjs/markedA markdown parser and compiler. Built for speed.	★ 37.2k	JavaScript	Other	Activo
2	RustPython/RustPythonA Python Interpreter written in Rust	★ 22.4k	Rust	MIT	Activo
3	crystal-lang/crystalThe Crystal Programming Language	★ 20.5k	Crystal	Apache-2.0	Activo
4	nim-lang/NimNim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and	★ 18.3k	Nim	Other	Activo
5	gopherjs/gopherjsA compiler from Go to JavaScript for running Go code in a browser	★ 13.2k	Go	BSD-2-Clause	Activo
6	rust-lang/rustEmpowering everyone to build reliable and efficient software.	★ 120.5k	Rust	Apache-2.0	Activo
7	microsoft/terminalThe new Windows Terminal and the original Windows console host, all in the same place!	★ 105.2k	C++	MIT	Activo
8	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