Top 25 tags

all tags »
Click on a tag to search all related programs.
curry list functional logic functional_pattern non-determinism sorting haskell higher-order narrowing constraints set_functions curry, finite_domain variables unification recursion test example logic_programming function_inversion prolog constrained_constructor incremental_solution comprehension

Dashboard

Welcome to the dashboard! The dashboard gives you a quick overview about recent submissions and the most popular programs on Smap. If you want to search programs with specific keywords or attributes, use the quick search in the navigation bar or the form for advanced searches on the left.

Recently added programs

see all »
/ curry / prolog / haskell /

Most favorited programs

see all »
/ curry / prolog / haskell /