Charity – Categorical programming language (1998)github.com33 points·by matteodelabre·2 месяца назад·6 comments
Geneagrapher – Mathematician advisor-advisee genealogiesgithub.com1 points·by matteodelabre·5 месяцев назад·0 comments
Character histories – notes on some ASCII code positionsjkorpela.fi1 points·by matteodelabre·7 месяцев назад·0 comments
Gap – A System for Computational Discrete Algebragap-system.org8 points·by matteodelabre·11 месяцев назад·0 comments
Dyna – Logic Programming for Machine Learningdyna.org163 points·by matteodelabre·11 месяцев назад·21 comments