Ivan Ivanchuk Small blog about software.


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.

logo oop-cop (Java) Maven plugin for static analysis

logo Jini (Ruby) Gem which helps you build an XPATH and then modify its parts via a simple fluent interface.

logo RJini (Rust) Just an import of Jini on Rust.

logo φ-reducer (Coq) This project is experimental. Some magic with φ-calculus.