Skip to content
Change the repository type filter

All

    Repositories list

    • ST based union find data structure
      Haskell
      Other
      4100Updated Apr 30, 2024Apr 30, 2024
    • Yet another haskell term rewriting library
      Haskell
      Other
      61802Updated Apr 30, 2024Apr 30, 2024
    • a tool for converting TRSs to canonical form
      Haskell
      MIT License
      0100Updated Mar 5, 2020Mar 5, 2020
    • A simple confluence tool demonstrating the term-rewriting Haskell library.
      Haskell
      Other
      0000Updated May 21, 2013May 21, 2013