AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Logeband
The language is supposed to be parsable, unambiguously parsable by a computer. There's an awful lot of material floating around on the internet about Logeband including their gigantic huge grammar of the thing. The goal is that in addition to being well-formed predicate calculus or at least, I mean, there's plenty of stuff in the language that does not fit in any way shape or form intopredicate calculus.