TagTime online.
☆30Oct 6, 2026Updated this week
Alternatives and similar repositories for ttw
Users that are interested in ttw are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Beeminder library for Python☆26Jan 27, 2024Updated 2 years ago
- NodeJS wrapper for Beeminder API☆21May 31, 2024Updated 2 years ago
- Beeminder integration with Obsidian, so that your word count in Obsidian contributes to your writing goals.☆14Jun 4, 2024Updated 2 years ago
- A Chrome extension that helps you stay focused by blocking sites during work timers and letting you browse during break timers. Now also …☆16Nov 22, 2018Updated 7 years ago
- 🚢 A self-hosted, personal archival application☆21Dec 10, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A program to automatically infer differential privacy properties of your julia source code.☆13May 12, 2022Updated 4 years ago
- A plugin for RemNote to visualize your daily schedule.☆32May 4, 2022Updated 4 years ago
- Ad Marketplace powered by Harberger tax ownership (built @ ETHSF hackathon 2018)☆13Oct 20, 2018Updated 7 years ago
- Effective caching in differentially-private databases (SOSP '23)☆13Nov 1, 2023Updated 2 years ago
- Free and open source software for easy self-hosted quadratic funding!☆13Nov 27, 2024Updated last year
- Smarter & less corrupt democracy.☆18Dec 29, 2022Updated 3 years ago
- Classes and projects for Fall 2015☆10Oct 6, 2015Updated 11 years ago
- Synonyms and Antonyms Alfred workflow☆18Feb 3, 2023Updated 3 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool to analyze your Pocket reading list.☆14Dec 8, 2022Updated 3 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated last year
- create Anki decks from Slack teams' profile photos and names☆22Aug 27, 2018Updated 8 years ago
- Convert cron emails to RSS 2.0. It's the least you can do.☆14May 15, 2015Updated 11 years ago
- A mobile app for playing music on Resonate, an open source music streaming co-op; built with TypeScript and React Native☆16Dec 3, 2022Updated 3 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Deliberate experimental Rust implementation of Syft☆12May 20, 2021Updated 5 years ago
- Yet Anoter Visual Format Language for Auto Layout.☆14Oct 25, 2017Updated 8 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Highlight Butler manages highlights in my highlight library☆11Jul 6, 2021Updated 5 years ago
- Create Notebooks with Interactive Figures☆22Aug 2, 2024Updated 2 years ago
- An AST pretty printer for Python 🐍☆14Feb 11, 2019Updated 7 years ago
- ☆16Nov 5, 2020Updated 5 years ago
- ☆22Updated this week
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Oct 18, 2025Updated 11 months ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- A dapptools/foundry-ready library for charging Harberger taxes on partial common non-fungible property.☆25Nov 17, 2022Updated 3 years ago
- ☆17Aug 16, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.☆16Aug 4, 2011Updated 15 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- Frontend react (next.js) app for quadratic voting app☆16Mar 4, 2023Updated 3 years ago
- A Haskell web application using acid-state and scotty☆16Apr 14, 2013Updated 13 years ago
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated last year
- use next generation JS in your CouchDB apps☆13Dec 8, 2022Updated 3 years ago
- A thicker variant of Latin Modern Roman☆15Jun 6, 2025Updated last year