smaludzi

followers

following

stars

Kraków, Poland

Organizations

never-lang

smaludzi's repositories

mm-unify

An Efficient Unification Algorithm by Martelli and Montanari

Language:CGPL-3.04 1 1

plg

Prolog inspired programming language

Language:CMIT200