cpatuzzo

no profile record

Submissions

1 pointsby cpatuzzo2 yıl önce1 comments

geçen yıldiscuss

I tried to write a programming language that compiles to SAT many years ago: https://sentient-lang.org/

2 yıl öncediscuss

A software implementation of Lee Sallows' Pangram Machine from his paper 'In Quest of Pangram'.