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://github.com/google/mangle

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

Lists

Timeline

burakemir has no activity yet