coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Licencia y mantenimiento
MIT es una licencia permisiva: uso comercial libre con atribución.
Último cambio de código hace 3 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  roc-lang/rocA fast, friendly, functional language. | ★ 6.1k | Activo |
| 2 |  carp-lang/CarpA statically typed lisp, without a GC, for real-time applications. | ★ 6.1k | Activo |
| 3 |  steshaw/pltProgramming Language Theory λΠ | ★ 5.4k | Sin cambios |
| 4 |  samuelmtimbo/unitNext Generation Visual Programming System | ★ 4.9k | Activo |
| 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 | Sin cambios |
| 6 |  typelead/etaThe Eta Programming Language, a dialect of Haskell on the JVM | ★ 2.6k | Sin cambios |
| 7 |  LuxLang/luxThe Lux Programming Language | ★ 1.7k | Activo |
| 8 |  gfngfn/SATySFiA statically-typed, functional typesetting system | ★ 1.2k | Menos activo |