Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
47,133 repositories indexed
1–9 of 9 · Most stars
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Algebraic data types in Common Lisp
The repository host gives no description.
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
Common Lisp library for handling bit vectors, bit vector arithmetic, and type conversions.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
A portable type inference library for Common Lisp
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
A different type of generic function for common lisp.