a taco themed PaaS for node.js servers
### TACO UI
### [`nucypher/taco-web`](../../README.md)
This is the design tokens package for Taco and other consumers of the economic brand. Taco-tokens fetches tokens from Figma and converts them to CSS variables and TypeScript constants.
## [`nucypher/taco-web`](../../README.md)
## [`nucypher/taco-web`](../../README.md)
Taco
Taco Labs base UI component library
taco-cli is a command-line interface for rapid Apache Cordova development (forked from Microsoft taco-cli)
taco-cli is a command-line interface for rapid Apache Cordova development
OpenCode plugin that captures raw telemetry for TACO benchmarking
Threshold Access Control (TACo) Smart Contracts
## [`nucypher/taco-web`](../../README.md)
Taco bell reactive js framework with a single model source of truth. Simple as rice and beans.
### [`nucypher/taco-web`](../../README.md)
> UI React component library
taco-team-build is a node module designed to avoid common pitfalls when building Cordova apps in a Team or Continuous Integration environment. It was put together for a set of tutorials for the Visual Studio 2015 Tools for Apache Cordova (TACo) featureset
Taco Bell Server
Taco Hash Function
Cordova-specific implementation of taco-remote's build functionality
Taco is a bunch of components that work as layout primitives written with ReasonReact and styled-ppx available in JavaScript, TypeScript and Reason/OCaml.
Validated Kits metadata for taco CLI
## [`nucypher/taco-web`](../../README.md)
Extract tarballs into taco deployment directories
Tool to automatically download and decrypt 64 bits iOS firmware images.
TACO (Trajectory and Compressed Observables) Format for molecular dynamics data
A very simple util that parses the XML and corresponding C struct trail files (using nom) from Taco (GW2 overlay), to produce a json compatible format for [Burrito](https://github.com/AsherGlick/Burrito), a GW2 overlay for Linux.
A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.
Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite.
The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata
A small helper crate for displaying iterators. This crate is part of the TACO toolsuite.
A crate allowing you to obtain a threshold automaton with an (symbolic) interval abstraction applied to it. This crate is part of the TACO toolsuite.
Model Checker interface and specification definitions for model checkers that are part of the TACO toolsuite.
A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files. This crate is part of the TACO toolsuite.
A crate defining the SMT encodings of threshold automata components into SMT. This crate is part of the TACO toolsuite.
Model Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO toolsuite.
A command line driven issue tracking system based on a JSON (text) file back-end
Manages todo items from the command line
Adds #taco_tuesday? methods to Ruby's Date and Time classes. Cause Tacos
Jekyll theme for a small brochure-style site.
Time and track pomodori against the top task in Taco
Gidget is a minimalist blog engine designed to run on Heroku with a Git-based workflow.
A simple gem to fulfill your taco wishes.
Fire in the disco. Fire in the ... taco bell.
Easy command line tool for AWS credentials management
A ruby toolkit for the Trello API.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.