- New York City
- http://emptysqua.re/
- @emptysqua.re
Highlights
- Pro
-
-
lightroom-claude-captioner Public
A Claude Code skill that titles and captions Adobe Lightroom Classic photos from your trip narrative, GPS, and the photo itself. Vibe-coded.
Python UpdatedJun 7, 2026 -
wiredtiger Public
Forked from wiredtiger/wiredtigerWiredTiger's source tree
C Other UpdatedMay 15, 2026 -
tla-explorer Public
Interactive TLA+ state explorer: stdio-driven front-end to TLC's Tool API, with trace replay for runtime conformance monitoring and spec regression tests
Java MIT License UpdatedMay 14, 2026 -
-
zotero-mcp Public
Forked from 54yyyu/zotero-mcpZotero MCP: Connects your Zotero research library with Claude and other AI assistants via the Model Context Protocol to discuss papers, get summaries, analyze citations, and more.
Python MIT License UpdatedApr 30, 2026 -
Update Zotero items with metadata from bibliographic databases like CrossRef.org and DBLP.org
-
tlaplus Public
Forked from tlaplus/tlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedApr 14, 2026 -
-
zotero-duplicates-plugin Public
Zotero plugin to find duplicate parent items by PDF hash and title similarity
-
hypothesis Public
Forked from HypothesisWorks/hypothesisThe property-based testing library for Python
Python Other UpdatedJan 27, 2026 -
specifications-1 Public
Forked from mongodb/specificationsSpecifications related to MongoDB
Python Other UpdatedJan 21, 2026 -
-
google-scholar-alert-summary Public
Google Scholar alert summary
-
chatgpt-archiver Public
Save ChatGPT conversation as HTML with links to sources
Python UpdatedApr 12, 2025 -
-
iTerm2 Public
Forked from gnachman/iTerm2iTerm2 is a terminal emulator for Mac OS X that does amazing things.
Objective-C GNU General Public License v2.0 UpdatedNov 7, 2024 -
tla-web Public
Forked from will62794/spectacleInteractive, web-based environment for exploring TLA+ specifications.
TLA MIT License UpdatedMay 20, 2024 -
Files related to A. Jesse Jiryu Davis's PyCon 2023 talk.
-
-
-
proporti.onl Public archive
Compare number of women, men, and nonbinary people among my friends and followers.
-
toro Public
Synchronization primitives for Tornado coroutines
-
mongo-conduction Public
Wire Protocol frontend server to Mongo Orchestration.
Python Apache License 2.0 UpdatedJun 14, 2023 -
python-atlasapi Public
Forked from mgmonteleone/python-atlasapipython package for MongoDB Atlas Cloud provider
Python Apache License 2.0 UpdatedMar 5, 2023 -
Source files for A. Jesse Jiryu Davis's PyCon 2022 talk
-
begin-implementing-merge Public
Supplemental for design of Begin Implementing Merge
UpdatedMar 8, 2022 -
pdf-annotations-to-readwise Public
Personal script to sync PDF Expert annotations with Readwise
Python UpdatedFeb 16, 2022 -
testing-distributed-systems Public
Forked from asatarin/testing-distributed-systemsCurated list of resources on testing distributed systems
HTML Creative Commons Attribution 4.0 International UpdatedFeb 2, 2022 -
jira-dependency-graph Public
Forked from pawelrychlik/jira-dependency-graphGraph visualizer for JIRA tickets' dependencies