Smap
  • SmapIE
    • New program
    • Curry
    • Prolog
    • Haskell
    • Open program by ID
  • Browser
    • Dashboard
    • Programs on Smap
    • Most recent
    • Most favorited
    • Tags on Smap
    • All tags
  • Sign in
  • Help
  1. Browser
  2. Programs

Advanced search

Filtering options
Title
Description
Tags

Sorting options
Search Reset

Top 25 tags

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

All programs (63 results)

...with no filter applied (sorted by popularity, descending).
  • Shapes open
    Curry data patternmatching shapes
    2023/4/23 2023/4/23 0
    nikobro
  • Binary Tree open
    Curry tree bst binarysearch
    2023/4/24 2023/4/20 0
    nikobro
  • memberConstr open
    Curry unification logic_programming function_inversion
    2020/12/29 0
    imz
  • member-invert open
    Curry unification logic_programming function_inversion
    2020/12/29 0
    imz
  • Declarative programming with contracts open
    Curry recursion contract verification
    2024/11/5 2020/9/4 0
    mh
  • Types and type inference open
    Curry sorting type_inference type
    2020/9/4 0
    mh
  • queens_concur_dist_choices open
    Curry n-queens_puzzle concurrent_distinct_choices non_determinism functional_logic_patterns arrays
    2020/7/21 0
    antoy
  • The U2 riddle open
    Curry functional_pattern constrained_constructor incremental_solution non-determinism u2
    2020/2/1 0
    antoy
  • The game of 24 open
    Curry non-determinism narrowing generate-and-test functional-patterns call-by-value-pattern ...
    2019/4/15 0
    antoy
  • Pollard's Rho Algorithm in Haskell open
    Haskell haskell fermat pollard
    2018/7/9 0
    odo
  • Prev
  • ( Page 2 of 7)

  • Next

© 2014-2025, Lasse Kristopher Meyer, Michael Hanus • About

Cookie Information

This web site uses technical cookies for navigation and user inputs.
Close to proceed: