jonaprieto/flask-ponywhoosh
A Flask full-text search engine
Topic: llm-assisted
24 repositories
AllenXiao95/Game-Localizer
A traceable game localization pipeline with translation memory, model-assisted workflows, QA gates, human review, artifact builds, and multi-target publishing.
DimwitLabs/Prosaic
A writer-first terminal writing app built with Python and Textual
jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
mehdieidi/modriss
AI-Assisted Model-Driven Methodology & Low-Code Platform for Serverless Software Development
jonaprieto/hott-cheatsheets
Homotopy type theory cheatsheets
jonaprieto/athena
Translates Metis ATP proofs to the Agda code
jonaprieto/ponywhoosh
Make searchable your database over PonyORM
jonaprieto/online-atps
Run ATPs from SystemOnTPTP
jonaprieto/agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
Moosa-Salehi/protocol_reverse_engineering
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.
jonaprieto/tango
replicated in-memory data structures
stegra05/cake-cutting-lean
Lean 4 formalization of Hollender-Rubinstein envy-free cake-cutting for four agents (TUM bachelor thesis, instrumented LLM-assisted workflow)
dunknowcoding/IronEngine-3DCreator
Pure Pythonic light-weighted 3D point cloud generator using both local LLM and cloud LLM
jonaprieto/prop-pack
TPTP problems and TSTP solutions of problems in classical propositional logic.
jonaprieto/imputation
ARSI imputation algorithm for categorical databases
SMGeorg/missing-persons-russia
Missing persons in Russia, 2010-2024: privacy-safe aggregate datasets, reproducible pipeline and research from ~50K LizaAlert forum announcements
jonaprieto/the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.
jonaprieto/mini-hott
jonaprieto/papershelf
The macOS PDF reader and library manager I wished I had. Search, highlight, cite and file papers, with an MCP server so an assistant can read them without the files leaving your Mac.
jonaprieto/python-atxt
jonaprieto/algorithms-cm0847
EAFTIT Algorithms Course 2016-2
jonaprieto/mailbox-actors
Formal framework for actor systems in which mailboxes are promoted to independent, first-class actors
jonaprieto/logic-cm0845
EAFIT Logic Course 2016-1