Sign in

Repository Index

47,133 repositories indexed

Tag: All Tags
Tag
Filters (1)

Filters

Clear all filters

1–23 of 23 · Most stars

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

  • functional-programming
  • common-lisp
  • type-safety

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

  • common-lisp
  • eiffel
  • postcondition
  • preconditions

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.