steshaw/plt

License & maintenance

No license stated: by default nobody may reuse the code. Ask the authors before using it in a product.

Last code push 22 months ago.

Similar projects

	Repository	Stars	Language	License	Activity
1	roc-lang/rocA fast, friendly, functional language.	★ 6.1k	Zig	UPL-1.0	Active
2	carp-lang/CarpA statically typed lisp, without a GC, for real-time applications.	★ 6.1k	Haskell	Apache-2.0	Active
3	samuelmtimbo/unitNext Generation Visual Programming System	★ 4.9k	TypeScript	MIT	Active
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	Active
5	agda/agdaAgda is a dependently typed programming language / interactive theorem prover.	★ 2.9k	Haskell	Other	Active
6	flix/flixThe Flix Programming Language	★ 2.8k	Flix	Other	Active
7	typelead/etaThe Eta Programming Language, a dialect of Haskell on the JVM	★ 2.6k	Haskell	BSD-3-Clause	Stale
8	leanprover/lean3Lean Theorem Prover	★ 2.2k	C++	Apache-2.0	Archived