Name: Alexander Mayorov
Type: User
Company: RPTU Kaiserslautern-Landau
Bio: Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.
Twitter: ZeroBone21
Location: Kaiserslautern, Germany
Blog: https://zerobone.net
Alexander Mayorov's Projects
pow(a, b) % c can be efficiently calculated without calculating pow(a, b)
My presentation about the compactness theorem of propositional and first order logic
My optimized Binary Search Tree implementation.
A collection of examples & implementations of different data structures and algorightms.
Closed addressing hash map implementation without STL in C++.
This lightweight, dependency-free rust library provides a convenient way to read characters from different resources.
Algorithm to solve a system of congruences using the Chinese remainder theorem. Works also for non-coprime divisors.
Implementations of different Java concurrent patterns
A fun C++ class which cannot be deleted. Instead of freeing memory, it copies itself twice and the whole process repeats until the computer runs out of memory.
Tool for analyzing variable independence in linear real arithmetic
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
Clash Royale 2.2 proxy server
Header-only, expandable and descriptor-caching string implementation in C99.
Header-only, optimized Hash Map implementation based on Robin Hood hashing.
Tasks and experiments useful for people learning C language.
A program that verifies proofs in the F0 proof system
AI that analyzes flat/apartment offers and predicts prices, neural network implemented in pure python & numpy.
Set data structure that can be initialized in O(1)
TCP binary protocol handling functions written in GdScript.
Grammax is a Java bottom-up SLR/CLR parser generator that builds parsers from grammars in Backus-Naur-Form.
GSM alarm system based on the Arduino Nano and SIM800L boards.
Extremely simple Java logger class for output and debugging with proxy support.
Knife is a Java top-down parser generator for building parsers from grammars in BNF format.
LeftistTree datastructure reference implementation.
LZZ is a URL shortener that allows changing target URL's after they have been created.
Telegram bot that sends notifications about new emails
Reverse proxy configuration for mirroring websites with nginx and replacing their content.
Number pattern research tool
An advanced AI-powered generic document-analysis tool