ZeroBone

ScidApi

Supercell id API proxy for retrieving the account token. Compatible with Clash Royale, Brawl Stars and other Supercell games.

PollardRsaCracker

RSA cracking algorithm based on Pollard factorization (Pollard's p-1 method).

Knife

Knife is a Java top-down parser generator for building parsers from grammars in BNF format.

TonelliShanks

Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.

OfficialEye

An advanced AI-powered generic document-analysis tool

useless_productions

Efficient algorithm that finds non-productive rules in context-free grammars.

CStringMap

Header-only, optimized Hash Map implementation based on Robin Hood hashing.

TQBFIP

Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE

NginxModifiedMirror

Reverse proxy configuration for mirroring websites with nginx and replacing their content.

chrem

Algorithm to solve a system of congruences using the Chinese remainder theorem. Works also for non-coprime divisors.

ConcurrentPatterns

Implementations of different Java concurrent patterns

CString

Header-only, expandable and descriptor-caching string implementation in C99.

F0Verifier

A program that verifies proofs in the F0 proof system

FLAI

AI that analyzes flat/apartment offers and predicts prices, neural network implemented in pure python & numpy.

Grammax

Grammax is a Java bottom-up SLR/CLR parser generator that builds parsers from grammars in Backus-Naur-Form.

WordEqRecompression

My presentation of the recompression technique for word equations.

ZeroBone

ZeroBone's profile

ZeroRobo

ZeroBone's Robocode Robot (Tank)

ApplicationsOfCompactness

My presentation about the compactness theorem of propositional and first order logic

charwise

This lightweight, dependency-free rust library provides a convenient way to read characters from different resources.

cp-algorithms

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

GarbageSet

Set data structure that can be initialized in O(1)

LeftistTree

LeftistTree datastructure reference implementation.

MailNotifierBot

Telegram bot that sends notifications about new emails

NumPat

Number pattern research tool

PresMonDec

Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.

rmibp

Simple boilerplate Java RMI client and server.

VkAntiSpam

Intelligent, integrated and self-learning antispam system for filtering spam in VK groups.

Cover

Tool for analyzing variable independence in linear real arithmetic

SunLight-spigot