ZeroBone

CStringMap

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

Grammax

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

Knife

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

OfficialEye

An advanced AI-powered generic document-analysis tool

PollardRsaCracker

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

ScidApi

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

SdlGrapher

A small program to render math functions as charts with SDL2.

TonelliShanks

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

TQBFIP

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

useless_productions

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

ZeroBone/ScidApi

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

ZeroBone/PollardRsaCracker

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

ZeroBone/Knife

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

ZeroBone/TonelliShanks

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

ZeroBone/OfficialEye

An advanced AI-powered generic document-analysis tool

ZeroBone/useless_productions

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

ZeroBone/CStringMap

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

ZeroBone/TQBFIP

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

ZeroBone/chrem

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

ZeroBone/ConcurrentPatterns

Implementations of different Java concurrent patterns

ZeroBone/F0Verifier

A program that verifies proofs in the F0 proof system

ZeroBone/FLAI

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

ZeroBone/Grammax

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

ZeroBone/WordEqRecompression

My presentation of the recompression technique for word equations.

ZeroBone/ZeroBone

ZeroBone's profile

ZeroBone/ApplicationsOfCompactness

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

ZeroBone/charwise

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

ZeroBone/CodeCell

A penny-sized board that can help you miniaturize DIY Robots, Wearables & other IoT projects!! It includes an Arduino friendly ESP32-C3 Wifi & BLE module, USBC LiPo Battery Charger with onboard Battery Connector, Light Sensor, and an optional Motion Sensor

ZeroBone/cp-algorithms

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

ZeroBone/GarbageSet

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

ZeroBone/LeftistTree

LeftistTree datastructure reference implementation.

ZeroBone/MailNotifierBot

Telegram bot that sends notifications about new emails

ZeroBone/NumPat

Number pattern research tool

ZeroBone/PresMonDec

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

ZeroBone/rmibp

Simple boilerplate Java RMI client and server.

ZeroBone/ArrayV

New home of https://github.com/MusicTheorist/ArrayVisualizer

ZeroBone/Cover

Tool for analyzing variable independence in linear real arithmetic

ZeroBone/GitJournal

Mobile first Note Taking integrated with Git

ZeroBone/SmartBMS

Open source Smart Battery Management System

ZeroBone/SunLight-spigot