Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with pakcs

A curated list of projects in awesome lists tagged with pakcs .

- Recently synced
- Stars

https://github.com/matthesjh/rewriting-curry

Libraries for term rewriting and narrowing in Curry

critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification

Last synced: 13 Oct 2024

https://github.com/fwcd/arch-pakcs-sicstus

Arch Linux package for the Portland Aachen Kiel Curry System (PAKCS) using SICStus Prolog

archlinux curry pakcs prolog

Last synced: 08 Oct 2024