TagTime online.
☆30Mar 17, 2025Updated last year
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:
- NodeJS wrapper for Beeminder API☆21May 31, 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
- Stochastic Time Tracking for Space Cadets☆378Jul 28, 2026Updated last month
- Ad Marketplace powered by Harberger tax ownership (built @ ETHSF hackathon 2018)☆13Oct 20, 2018Updated 7 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Twitch Streamer Analysis, see Twitchverse https://towardsdatascience.com/twitchverse-a-network-analysis-of-twitch-universe-using-neo4j-gr…☆19Oct 25, 2024Updated last year
- Classes and projects for Fall 2015☆10Oct 6, 2015Updated 10 years ago
- ☆15Aug 7, 2026Updated last month
- 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
- A tool to analyze your Pocket reading list.☆14Dec 8, 2022Updated 3 years ago
- Code repository for our work on Quantum Pi☆12Jun 4, 2024Updated 2 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 8 months ago
- Archive of the categories mailling list☆13Sep 8, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- 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
- ☆22Aug 31, 2026Updated 3 weeks ago
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- ☆17Aug 16, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Agda code for experimenting with internal models of cubical type theory☆16Apr 3, 2018Updated 8 years ago
- A Haskell web application using acid-state and scotty☆16Apr 14, 2013Updated 13 years ago
- 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
- A Goodreads implementation for Obsidian.☆16May 21, 2021Updated 5 years ago
- ☆14Oct 26, 2009Updated 16 years ago
- REST API created by Django and Neo4j.☆13Sep 22, 2021Updated 4 years ago
- Custom Theme for RemNote☆10May 18, 2021Updated 5 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Script for converting workflowy json into roam import json☆10Dec 11, 2022Updated 3 years ago
- VSCode support for Forester☆24Nov 17, 2025Updated 10 months ago
- Visualisations to analyse code churn based on Git logs☆24Oct 22, 2021Updated 4 years ago
- A very basic direnv configuration for fish☆13Jul 5, 2026Updated 2 months ago
- themes and scripts made or adapted for Marked 2, Deckset, OmniOutliner, iThoughtsX, and more...☆11Apr 21, 2024Updated 2 years ago
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 4 years ago
- It's like Drafts for Mac☆11Jun 3, 2014Updated 12 years ago