| A language for NP-Reductions | |
| https://github.com/REA1/karp | |
| karp-9999 | all-rights-reserved |
| download | racket-overlay |
| karp-0_p20231114 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |
| karp-0_p20230809 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |