Time management tool
☆25Feb 18, 2020Updated 6 years ago
Alternatives and similar repositories for cetriolo
Users that are interested in cetriolo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [deprecated] A tiny module to generate markup☆14Jan 25, 2014Updated 12 years ago
- ☆12Jan 28, 2019Updated 7 years ago
- Hosting files via a Google App Engine application.☆11Sep 18, 2015Updated 11 years ago
- A demo Web Component built with Stencil JS☆10Mar 14, 2018Updated 8 years ago
- [DEPRECATED] Execute tap(e) tests that require browsers...in your browser!☆16Nov 28, 2016Updated 9 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.
- Persist debugging information from Query Monitor, and access it again later☆10Aug 7, 2022Updated 4 years ago
- THIS PROJECT IS NO LONGER UNDER ACTIVE DEVELOPMENT☆15May 23, 2013Updated 13 years ago
- Adapter from HttpKernelInterface to FastCGI.☆12Nov 1, 2013Updated 12 years ago
- ☆11Feb 24, 2014Updated 12 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Simple, easy to use, modern web development framework☆17Sep 11, 2016Updated 10 years ago
- Log everything you do on the computer, for statistics, future reference and all-around fun!☆13Jul 10, 2013Updated 13 years ago
- Arbitrary locking mechanism for asynchronous operations☆28Jan 10, 2014Updated 12 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- lean-related presentations☆18Oct 21, 2026Updated last week
- Linux Utilities for NodeJS☆12Nov 5, 2012Updated 13 years ago
- Caching for Graphql Resolvers☆19Nov 21, 2019Updated 6 years ago
- Drop-in comments module for a Yesod application☆10Sep 30, 2025Updated last year
- A small python script that enables Hudson status via conky. Based on ConkyForecast☆12Mar 15, 2010Updated 16 years ago
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Client-side app for generating style guides from css and html☆10Feb 26, 2014Updated 12 years ago
- Command-line backup system☆14Jun 15, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple import/export script for Coda clips.☆14May 30, 2012Updated 14 years ago
- [DISCONTINUED] Nano WSGI Web Framework in ~100 Lines of Code☆12Apr 4, 2012Updated 14 years ago
- web2py Docker files☆13Nov 8, 2016Updated 9 years ago
- A simple jQuery plugin that retrieves the Klout score of a large list of users, respecting the API limit of 5 users per request and 10 re…☆11Jul 29, 2011Updated 15 years ago
- very simple but powerful template engine for unobtrusive javascript☆11Nov 2, 2010Updated 15 years ago
- Animation easing functions for RaphaelJS (SVG/VML) derived from jQuery's easing animation functions☆13Jun 29, 2009Updated 17 years ago
- Base library used by Ace/Skywriter/Cockpit/Cloud9☆19Sep 23, 2011Updated 15 years ago
- ☆12Oct 5, 2014Updated 12 years ago
- A tiny flow control module that destructures.☆22Jun 15, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- TextExpander snippets for getting URLs from (mostly) Safari.☆16Dec 23, 2015Updated 10 years ago
- Demos for developmental products by S-cubism, including web2py-plugins and etc.☆15Mar 27, 2013Updated 13 years ago
- A Scriptable (https://scriptable.app/) script to update Contact photos on iOS☆12Oct 31, 2018Updated 8 years ago
- Makes your code tell you what the intermediate results are when executing a script.☆34Aug 2, 2013Updated 13 years ago
- ☆12Aug 3, 2017Updated 9 years ago
- Process Monitor UI☆20May 18, 2016Updated 10 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago