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:
- Beeminder library for Python☆26Jan 27, 2024Updated 2 years ago
- Beebrain and Visual Graph Editor☆16Updated this week
- 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☆22Dec 10, 2022Updated 3 years ago
- Cross-platform desktop implementation of TagTime☆19Feb 9, 2019Updated 7 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.
- @dave-thompson's QMK community modules☆13Feb 18, 2026Updated 2 months ago
- Ad Marketplace powered by Harberger tax ownership (built @ ETHSF hackathon 2018)☆13Oct 20, 2018Updated 7 years ago
- Free and open source software for easy self-hosted quadratic funding!☆13Nov 27, 2024Updated last year
- Classes and projects for Fall 2015☆10Oct 6, 2015Updated 10 years ago
- Git file commit churn and prompt customization. Other beneficial bash helps coming..☆21May 27, 2020Updated 5 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
- Synonyms and Antonyms Alfred workflow☆18Feb 3, 2023Updated 3 years ago
- A twitter bot that applies a random neural style transfer to a random featured photo from Unsplash.☆14Oct 6, 2019Updated 6 years ago
- Yet Anoter Visual Format Language for Auto Layout.☆14Oct 25, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 3 months ago
- An AST pretty printer for Python 🐍☆14Feb 11, 2019Updated 7 years ago
- Create Notebooks with Interactive Figures☆22Aug 2, 2024Updated last year
- Agda code for experimenting with internal models of cubical type theory☆15Apr 3, 2018Updated 8 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- A dapptools/foundry-ready library for charging Harberger taxes on partial common non-fungible property.☆25Nov 17, 2022Updated 3 years ago
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago
- A thicker variant of Latin Modern Roman☆15Jun 6, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- smithers helps your rich poker bots lose all their virtual money together. its in c++ because when c++ is your hammer everything is a thu…☆11May 16, 2017Updated 8 years ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- VSCode support for Forester☆22Nov 17, 2025Updated 5 months ago
- a table game as a forkable set of rules for infinite games☆19Nov 8, 2024Updated last year
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated last year
- ☆19Jul 24, 2017Updated 8 years ago
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 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.
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- A Goodreads implementation for Obsidian.☆16May 21, 2021Updated 4 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- A command-line utility that attempts to get a good response from a URL by utilising scraper disguising strategies.☆14Aug 3, 2022Updated 3 years ago
- Visualisations to analyse code churn based on Git logs☆24Oct 22, 2021Updated 4 years ago
- ☆14Oct 26, 2009Updated 16 years ago
- REST API created by Django and Neo4j.☆13Sep 22, 2021Updated 4 years ago