Arseny Kriuchkov

a functional types support library for Python implementing higher-level monads to create a way of writing code with better control flow and better type hints
Includes protocols and scalable datatypes to build with fntypes on top of complex dataclass factories like msgspec structures
project source includes a documentation-paper-research on why does this ideology should be applied to your code

mapping generator and runtime orm model creator with various ORMs support
designed to solve admin panel and other orm-bound utility incompatibilities and implemented with my friend Polina

*a visionary telegram framework, that collects many architectural ideas as well as some development approach experiments*
Built with my other pet-project concepts in mind, it implements functional typing through `fntypes` which allows to build scalable and transparent control flow and is very fast in comparison to other popular frameworks due to many optimisations applied. Currently, I mostly only do supervision, the project is maintained by the community

logic programming language and abstract machine written in C.
Implements a number of algorithms and ideas on logic chain optimisation

customizable asynchronous and fully-typed python framework to interact with api and write VK bots

Framework is scalable and fully typed, it has gained popularity, large community and lots of active contributors and became the main python framework to build VK bots with. I maintained it for two years and later found a maintainer who continued the development for me to start on new projects.