git task/time manager
☆89Apr 4, 2015Updated 11 years ago
Alternatives and similar repositories for gtm
Users that are interested in gtm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 9 years ago
- Format specifiers to use with json-schema-validator☆12Jul 1, 2013Updated 13 years ago
- Learn how a software project (using git) evolved over time from its commit log. Its like YouTube for a git project. Desktop app built wit…☆31Dec 5, 2023Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A widget for Shopify's dashing project to display Sensu warning and critical alerts☆14Jul 20, 2017Updated 9 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 years ago
- unified slash syntax for both shell and build.sbt☆29Jun 26, 2017Updated 9 years ago
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 10 years ago
- ☆10May 3, 2017Updated 9 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- Working with XML in Scala☆23Feb 11, 2025Updated last year
- An introduction to the Ruby language in ten lines of code (in Spanish)☆10Mar 4, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- gulp.js plugin for creating modules☆22Feb 7, 2020Updated 6 years ago
- Puppet module for configuring various aspects of an Arch Linux workstation/desktop.☆17Dec 21, 2022Updated 3 years ago
- atom package to try your elm code from the editor. Provides a visual REPL and a preview pane☆30Nov 6, 2019Updated 6 years ago
- Deposited packages of the homalg project☆19Jul 19, 2026Updated 2 months ago
- Diferentes scripts para representación de carreras en cifras☆10Mar 6, 2017Updated 9 years ago
- Graph visualization editor and generator for the GraphJSON format.☆15Jan 15, 2014Updated 12 years ago
- Pundit authorization wrapper for Sinatra☆10Jul 26, 2018Updated 8 years ago
- a minimal Ruby workflow orchestration framework running on delayed_job and active_record☆27Oct 24, 2015Updated 10 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.
- A simple Markdown preview App for OS X with QuickLook support☆16Jun 23, 2013Updated 13 years ago
- Plugin to produce locales dbs☆11Updated this week
- Bridge between Coz profiler and rust tracing☆14Sep 26, 2019Updated 6 years ago
- Simple css/js asset fingerprinting for Boot.☆10Apr 30, 2016Updated 10 years ago
- VecoLuc is a scalable vector search engine that leverages Apache Lucene and the JDK's incubator vector API for high-performance vector op…☆11Aug 22, 2024Updated 2 years ago
- A slack release robot (built with meteor)☆11Apr 7, 2015Updated 11 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 5 months ago
- A Scala.js library for building user interfaces☆13May 30, 2023Updated 3 years ago
- Simple parsing of CSV into case classes in Scala☆11Feb 12, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆21Sep 14, 2019Updated 7 years ago
- Kamon Monix Integration☆10Mar 6, 2019Updated 7 years ago
- This repo has been merged into: https://github.com/music-suite/music-suite☆19Apr 28, 2020Updated 6 years ago
- Base CRM API Client☆28Dec 10, 2025Updated 9 months ago
- Use scalatags with play framework☆10Feb 21, 2015Updated 11 years ago
- An example project with dsimard/grunt-angular-phonegap☆16Jan 5, 2014Updated 12 years ago
- Python challenges for a deadlier programming Kung Fu☆10Dec 14, 2017Updated 8 years ago