Sealbook / Open source / Programming languages & runtimes

coalton-lang/coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

common-lispfunctional-programmingtype-safety

GitHub ↗Website ↗

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 3 days 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	steshaw/pltProgramming Language Theory λΠ	★ 5.4k	CSS	—	Stale
4	samuelmtimbo/unitNext Generation Visual Programming System	★ 4.9k	TypeScript	MIT	Active
5	checkedc/checkedcChecked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people e	★ 3.3k	C	Other	Stale
6	typelead/etaThe Eta Programming Language, a dialect of Haskell on the JVM	★ 2.6k	Haskell	BSD-3-Clause	Stale
7	LuxLang/luxThe Lux Programming Language	★ 1.7k	Emacs Lisp	Apache-2.0	Active
8	gfngfn/SATySFiA statically-typed, functional typesetting system	★ 1.2k	OCaml	LGPL-3.0	Slowing