Skip to content

@synduce Synduce

Change the repository type filter

All

    Repositories list

    2 repositories

    • Synduce

      Public
      An automatic recursive function transformer.
      synthesis-algorithmocaml
      OCaml
      •
      MIT License
      •3•10•0•0•Updated Aug 12, 2023Aug 12, 2023

    • synduce-app

      Public
      team-project-16-software-engineering-lab-uoft created by GitHub Classroom
      JavaScript
      •
      MIT License
      •4•0•0•0•Updated Dec 18, 2021Dec 18, 2021