Edit: thanks a lot aasasd, I had just spent a few minutes looking for it (again), without finding it.
AnySoftKeyboard also is the only open source keyboard for Android that has gesture typing. Which is something I grew to love from when I used Gboard.
I think the search function is working fine, the app is just called "AnySoftKeyboard 3D Theme" in the F-Droid app but not on the website for some reason.
Edit: thought I would install it and it turns out its English. Using to type this.
The other possibility is that it's not present for me because it might not be compatible with GrapheneOS?
But I have problems with search even for other apps. I'm OK with it it because FDroid is very good otherwise.
Of course it's still not as good as Gboard, but I'd rather put up with the slight inconvenience for it being open source.
Alas, I wish it were. This is all that's missing IMO.
I keep being perplexed when people reinvent software instead of joining forces (though I'm fine either way if the result is good). A better swipe-typing algorithm would be great, but even some smaller touches would make ASK much nicer: like, don't add a space after an opening parenthesis when swiping. Not rocket science, but needs someone to dig in the app's workings.
[0]: https://helpblog.blackberry.com/en/2013/02/blackberry-10-key...
"Let's meet at Nørreport, Lærke says she will be late."
There's also the copy paste popup that can be activated by swiping up on the space bar which offers a nice cursor based highlight/copy/paste mode.
https://github.com/AnySoftKeyboard/AnySoftKeyboard/issues/18...
It also has multiple keyboard layouts, of which "terminal" compares favorably to hacker's keyboard. I like that it is configurable, and has a lot of text editing tools when swiping space up.
I admit I lost some typing speed when I switched from the alternatives, but I'm happier with it.
[1] https://anysoftkeyboard.github.io/