ZeroBone
Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.
RPTU Kaiserslautern-LandauKaiserslautern, Germany
Pinned Repositories
CrProxy
Clash Royale 2.2 proxy server
CStringMap
Header-only, optimized Hash Map implementation based on Robin Hood hashing.
Grammax
Grammax is a Java 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.
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's Repositories
ZeroBone/ScidApi
Supercell id API proxy for retrieving the account token. Compatible with Clash Royale, Brawl Stars and other Supercell games.
ZeroBone/Knife
Knife is a Java top-down parser generator for building parsers from grammars in BNF format.
ZeroBone/PollardRsaCracker
RSA cracking algorithm based on Pollard factorization (Pollard's p-1 method).
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/NginxModifiedMirror
Reverse proxy configuration for mirroring websites with nginx and replacing their content.
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/CString
Header-only, expandable and descriptor-caching string implementation in C99.
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 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/ZeroRobo
ZeroBone's Robocode Robot (Tank)
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/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/VkAntiSpam
Intelligent, integrated and self-learning antispam system for filtering spam in VK groups.
ZeroBone/Cover
Tool for analyzing variable independence in linear real arithmetic
ZeroBone/SunLight-spigot