llm-assisted

A Flask full-text search engine

A traceable game localization pipeline with translation memory, model-assisted workflows, QA gates, human review, artifact builds, and multi-target publishing.

A writer-first terminal writing app built with Python and Textual

A Library for Classical Propositional Logic in Agda

Homotopy type theory cheatsheets

Translates Metis ATP proofs to the Agda code

Make searchable your database over PonyORM

Run ATPs from SystemOnTPTP

Metis Prover Reasoning for Propositional Logic in Agda

replicated in-memory data structures

LLM-Assisted pipeline for reverse-engineering undocumented protocols from PCAP captures. It normalizes messages, clusters payloads, infers framing/fields/relations/semantics, and outputs html/md reports.

Lean 4 formalization of Hollender-Rubinstein envy-free cake-cutting for four agents (TUM bachelor thesis, instrumented LLM-assisted workflow)

Pure Pythonic light-weighted 3D point cloud generator using both local LLM and cloud LLM

TPTP problems and TSTP solutions of problems in classical propositional logic.

ARSI imputation algorithm for categorical databases

Missing persons in Russia, 2010-2024: privacy-safe aggregate datasets, reproducible pipeline and research from ~50K LizaAlert forum announcements

A formalisation of the pigeon theorem in UTT.

Formal framework for actor systems in which mailboxes are promoted to independent, first-class actors

EAFTIT Algorithms Course 2016-2