Conflict driven clause learning (SAT) in APL
Code for the software foundations books
Advent of code 2022 in prolog
Werc based website at pmikkelsen.com
APL for Plan 9
my attempt at phase two problems from the Dyalog competition
Project euler in j
very very simple sat solver in APL
Advent of code 2021 in shakti/k9
array
PGEM window and parent search in dyalog APL
A kind of J interpreter in C
A new prolog interpreter for Plan 9. Replaces the old pprolog project.
An attempt to implement prolog on 9front