Sign in

Repository Index

86,076 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

25–48 of 130 · Most stars

Programmatic modification and evaluation of software

  • software-engineering
  • source-code
  • evolutionary-computation
  • program-synthesis

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

  • common-lisp
  • eiffel
  • postcondition
  • preconditions