gfngfn/SATySFi

Licencia y mantenimiento

LGPL-3.0 es una licencia copyleft: los productos que lo incluyan o modifiquen pueden tener que publicar su código.

Último cambio de código hace 6 meses.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	reasonml/reasonSimple, fast & type safe code that leverages the JavaScript & OCaml ecosystems	★ 10.3k	OCaml	MIT	Activo
2	samuelmtimbo/unitNext Generation Visual Programming System	★ 4.9k	TypeScript	MIT	Activo
3	FStarLang/FStarA Proof-oriented Programming Language	★ 3.1k	F*	Apache-2.0	Activo
4	SUSYUSTC/MathTranslatetranslate scientific papers in latex, especially arxiv papers	★ 1.4k	Python	Apache-2.0	Sin cambios
5	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Activo
6	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Activo
7	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Activo
8	bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh	★ 23.8k	TypeScript	Apache-2.0	Activo