Skip to content
Change the repository type filter

All

    Repositories list

    • The Curry frontend
      Haskell
      Other
      01691Updated Jul 4, 2025Jul 4, 2025
    • The Rocq formalization for the paper "Determinism Types for Functional Logic Programming"
      Rocq Prover
      0200Updated Jul 1, 2025Jul 1, 2025
    • pakcs

      Public
      PAKCS: The Portland Aachen Kiel Curry system
      Prolog
      Other
      1810Updated Jun 30, 2025Jun 30, 2025
    • moduledb

      Public
      The module database of the department of computer science of Kiel University
      Curry
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jun 26, 2025Jun 26, 2025
    • smap

      Public
      A web-based editor and browser for small programs.
      Curry
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jun 16, 2025Jun 16, 2025
    • Tools for Curry that are used in PAKCS and KiCS2 (CPM and Boolean equality optimizer)
      Curry
      Other
      0000Updated May 5, 2025May 5, 2025
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      2910Updated Oct 20, 2024Oct 20, 2024
    • A compiler from Curry programs into Julia programs
      Julia
      BSD 3-Clause "New" or "Revised" License
      0500Updated Apr 10, 2024Apr 10, 2024
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jan 5, 2023Jan 5, 2023
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      2301Updated Jan 5, 2023Jan 5, 2023
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      0760Updated Jan 5, 2023Jan 5, 2023
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      0400Updated Jun 8, 2022Jun 8, 2022
    • Haskell
      MIT License
      1000Updated Jul 28, 2020Jul 28, 2020
    • Transforms Haskell sources with definitions using pattern matching to case-expressions
      Haskell
      BSD 3-Clause "New" or "Revised" License
      1100Updated May 27, 2020May 27, 2020