Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
47,133 repositories indexed
1–6 of 6 · Most stars
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
A correct and safe(er) JSON RFC 8259 reader/writer with sane defaults.
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 variant of READ secure against internbombing, excessive input and macro characters.
Fast, thread-safe interface to the Memcached object caching system.
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.