jonaprieto/xan-watch
XAN (Anoma) price and vesting position in the macOS menu bar
Research Engineer. Interested in formal methods, compilers, and distributed systems.
Repositories
jonaprieto/folio
Find and download books and papers from the terminal, or from an AI agent. Searches LibGen, downloads through Anna's Archive, LibGen and IPFS. One stdlib Python file.
jonaprieto/homebrew-tap
Hub for my macos tools
jonaprieto/oatp
Lean 4 ATP orchestration, TPTP artifacts, and rich terminal diagnostics
jonaprieto/granpa
Book several Gran Pared climbing slots from the shell, or ask Claude
jonaprieto/zkit
Numbered directory listing with sizes, ages and git status for zsh
jonaprieto/jonaprieto
jonaprieto/consistent-histories-lean
A lean formalization of the Consistent histories paper.
jonaprieto/formal-syncordian
Lean 4 formalization of the Syncordian CRDT
jonaprieto/tango
replicated in-memory data structures
jonaprieto/homebrew-papershelf
Homebrew cask for PaperShelf, the macOS PDF reader and research library
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/lean-grip-tptp
Total Grip-backed TPTP/TSTP parsers for Lean 4
jonaprieto/precommit-lean
Private pre-commit hooks for Lean 4 repositories
jonaprieto/lean-argus
Typed command-line parsing for Lean 4 with derived help and shell completions
jonaprieto/lean-blog
Lean-aware publishing framework built on Verso
jonaprieto/lean-calc-chat
A chat-shaped terminal calculator demonstrating the Lean termcolor and Grip stack
jonaprieto/lean-termcolor
ANSI colors and styled text for Lean 4
jonaprieto/lean-termcolor-diagnostics
Source-annotated diagnostics and rich error reporting for Lean 4 CLI tools
jonaprieto/lean-termcolor-layout
Unicode-aware display width and pure text layout for Lean 4
jonaprieto/lean-termcolor-repl
Reusable Lean 4 terminal REPL primitives for the termcolor stack
jonaprieto/lean-termcolor-terminal
Optional terminal control and live-line IO helpers for Lean 4
jonaprieto/lean-termcolor-widgets
Pure progress bars and spinners for Lean 4 terminals
jonaprieto/lean-grip
A fast, graded parser-combinator library for Lean 4, working directly on bytes
jonaprieto/lean-grip-json
Production JSON parser and validator built on Grip for Lean 4
jonaprieto/lean-grip-diagnostics
Rich source-annotated diagnostics for Grip parser failures
jonaprieto/mailbox-actors
Formal framework for actor systems in which mailboxes are promoted to independent, first-class actors
jonaprieto/eventb-lean
Event-B toolchain in Lean 4 with parsing, checking, proof obligations, and refinement semantics
jonaprieto/Syncordian
SYNCORDIAN a CRDT adversarial Fault tolerant, implemented on Elixir
jonaprieto/ponywhoosh
Make searchable your database over PonyORM