Skip to content

Popular repositories Loading

  1. term-rewriting term-rewriting Public

    Yet another haskell term rewriting library

    Haskell 18 6

  2. union-find-array union-find-array Public

    ST based union find data structure

    Haskell 1 4

  3. canonical-trs canonical-trs Public

    a tool for converting TRSs to canonical form

    Haskell 1

  4. confluence-tool confluence-tool Public

    A simple confluence tool demonstrating the term-rewriting Haskell library.

    Haskell

Repositories

Showing 4 of 4 repositories
  • union-find-array Public

    ST based union find data structure

    haskell-rewriting/union-find-array’s past year of commit activity
    Haskell 1 4 0 0 Updated Apr 30, 2024
  • term-rewriting Public

    Yet another haskell term rewriting library

    haskell-rewriting/term-rewriting’s past year of commit activity
    Haskell 18 6 0 2 Updated Apr 30, 2024
  • canonical-trs Public

    a tool for converting TRSs to canonical form

    haskell-rewriting/canonical-trs’s past year of commit activity
    Haskell 1 MIT 0 0 0 Updated Mar 5, 2020
  • confluence-tool Public

    A simple confluence tool demonstrating the term-rewriting Haskell library.

    haskell-rewriting/confluence-tool’s past year of commit activity
    Haskell 0 0 0 0 Updated May 21, 2013

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…