Logician

Because it took me a minute to find the tweet text on that page: > Apple doesn’t let employees contribute to unapproved OSS projects (even in their personal time). So some of my projects could use a maintainer to manage PRs: - https://github.com/mdiep/Tentacle - https://github.com/mdiep/Logician - https://github.com/SwiftGit2/SwiftGit2 … If you’re interested, please let me know!

Because I don't 100% trust this to stay up (and because it's a bit hard to find the actual content without css): > Apple doesn’t let employees contribute to unapproved OSS projects (even in their personal time). So some of my projects could use a maintainer to manage PRs: - https://github.com/mdiep/Tentacle - https://github.com/mdiep/Logician - https://github.com/SwiftGit2/SwiftGit2 … If you’re interested, please let me know! >> I’d love to help out with Tentacle! I’ll take a look at open issues and PRs today > Awesome, thanks! I just gave you access. Tentacle is very low maintenance, but there’s a Swift 5.2 PR open now that looks like it may need a little help. >> Has this ever been enforced that you know of? What are the consequences? > No idea. [shrug emoji]

I made a Swift library, Logician (https://github.com/mdiep/Logician), based on microKanren with the help of these links. I also wrote about how it works with Swift: https://matt.diephouse.com/2016/12/logic-programming-in-swif... I haven't had the chance to build anything that uses them. But having become familiar, I think there are lots of potential applications. I always thought that Prolog was strange. Logic programming makes a lot more sense as a library IMO.