~pmikkelsen

https://pmikkelsen.com

~pmikkelsen/CDCL-apl

Conflict driven clause learning (SAT) in APL

~pmikkelsen/software-foundations

Code for the software foundations books

~pmikkelsen/aoc2022

Advent of code 2022 in prolog

~pmikkelsen/www

Werc based website at pmikkelsen.com

~pmikkelsen/APL9

APL for Plan 9

~pmikkelsen/dyalog-competition-2022

my attempt at phase two problems from the Dyalog competition

~pmikkelsen/euler-j

Project euler in j

~pmikkelsen/APL-sat

very very simple sat solver in APL

~pmikkelsen/aoc2021-k

Advent of code 2021 in shakti/k9

~pmikkelsen/PGEM-apl

PGEM window and parent search in dyalog APL

~pmikkelsen/mini-j

A kind of J interpreter in C

~pmikkelsen/pprolog

A new prolog interpreter for Plan 9. Replaces the old pprolog project.

~pmikkelsen/pprolog-old

An attempt to implement prolog on 9front

1 / 3