llm-assisted

A Flask full-text search engine

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

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

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.

Lean4: Total parser combinator library with do notation