steshaw/plt

Programming Language Theory λΠ

category-theoryfunctional-programminglogicprogramming-languagesproof-theorytype-theory

Licencia y mantenimiento

Sin licencia indicada: por defecto nadie puede reutilizar el código. Pregunta a los autores antes de usarlo en un producto.

Último cambio de código hace 22 meses.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	roc-lang/rocA fast, friendly, functional language.	★ 6.1k	Zig	UPL-1.0	Activo
2	carp-lang/CarpA statically typed lisp, without a GC, for real-time applications.	★ 6.1k	Haskell	Apache-2.0	Activo
3	samuelmtimbo/unitNext Generation Visual Programming System	★ 4.9k	TypeScript	MIT	Activo
4	NVIDIA/cuda-rustNVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust	★ 3.7k	Rust	Apache-2.0	Activo
5	agda/agdaAgda is a dependently typed programming language / interactive theorem prover.	★ 2.9k	Haskell	Other	Activo
6	flix/flixThe Flix Programming Language	★ 2.8k	Flix	Other	Activo
7	typelead/etaThe Eta Programming Language, a dialect of Haskell on the JVM	★ 2.6k	Haskell	BSD-3-Clause	Sin cambios
8	leanprover/lean3Lean Theorem Prover	★ 2.2k	C++	Apache-2.0	Archivado