Some of these projects are in development, and they are still alive. I also have a lot of “repository notes” for my future ideas. But for some reason, my hands haven’t reached them yet.
Be glad if you submit a pull request!
Elegram-api (Java) A library for interacting with the telegram bot api in an OOP style.
oop-cop (Java) Maven plugin for static analysis
Jini (Ruby) Gem which helps you build an XPATH and then modify its parts via a simple fluent interface.
RJini (Rust) Just an import of Jini on Rust.
φ-reducer (Coq) This project is experimental. Some magic with φ-calculus.