A JavaScript/HTML5 GIF viewer and analyzer

Userscript client for the Codot AIssistant

TamperMonkey user script which improves user experience with CodeWars (or at least tries to).

Codewars Discord Bot

JDK main-line development https://openjdk.org/projects/jdk

A constructive proof assistant for second order logic.

Trajectories finder

A simple raytracer written in Lean 4

My solutions of adventofcode.com

Advent of Code 2020 solutions in Lean 4

Repository for latest JSON and txt versions of the Game Master for Pokemon GO.

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

A sudoku game where you have to prove that your deductions are valid

A (not so) small Pokécord clone.

This project converts structured Lean code into an interactive browser game.

Fixups for Thunderbird's tray icon for Windows

Map PoGo stuff with Android devices

Old CodeRunner project. See https://github.com/codewars/runner instead.

A Java agent that rewrites bytecode to instrument allocation sites

A lightweight client for managing MariaDB, MySQL, SQL Server, PostgreSQL, SQLite, Interbase and Firebird, written in Delphi

jOOR - Fluent Reflection in Java jOOR is a very simple fluent API that gives access to your Java Class structures in a more intuitive way. The JDK's reflection APIs are hard and verbose to use. Ot…