SETL

ISETL

math.purdue.edu

Interactive SET Language, distant SETL variant widely used in discrete mathematics: downloads on lower 2/3 of page, for DOS, Mac OS, Windows; source code available.

494 visits Feb 5, 2024 Details

ISETLW

isetlw.muc.edu

Interactive SET Language for Windows 9x/Me/NT/2000/XP: downloads, documentation, bugs, sample problems.

452 visits Jul 1, 2025 Details

SETL Documentation

cs1.cs.nyu.edu

SET Language: mathematical programming language closely resembling the language of sets and functions used by Mathematicians. Lets users define sets, then define functions and bina…

357 visits Feb 2, 2024 Details

SETL for Internet Data Processing

cs1.cs.nyu.edu

A dissertation by David Bacon.

65 visits Dec 7, 2025 Details

SETL2

cs.nyu.edu

SET Language 2, close relative of SETL, has some clumsy support for closures, an experimental (broken) object system, and redefines integer division to mean something different tha…

41 visits Jan 16, 2025 Details

SETLS