Skip to content
Change the repository type filter

All

    Repositories list

    • moduledb

      Public
      The module database of the department of computer science of Kiel University
      Curry
      BSD 3-Clause "New" or "Revised" License
      0000Updated Aug 28, 2024Aug 28, 2024
    • pakcs

      Public
      PAKCS: The Portland Aachen Kiel Curry system
      Prolog
      Other
      0600Updated May 29, 2024May 29, 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
      2910Updated Dec 4, 2023Dec 4, 2023
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      0000Updated Jan 5, 2023Jan 5, 2023
    • Haskell
      BSD 3-Clause "New" or "Revised" License
      2201Updated 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