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
| GitHub | codeberg.org/burakemir |
| Homepage | https://burakemir.ch |







