About burakemir

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://codeberg.org/TauCeti/mangle-go http://codeberg.org/TauCeti/mangle-rs

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

Lists

Timeline

burakemir has no activity yet