Boostrap a Next.js project with components, API routes, and utilities.
tacos os
tacos dt engine
tacos dt engine
A command-line tool for calculating the number of tacos you're gonna need for your meetup/party.
tacos os
socat is tacos backwards
tacos os
tacos dt engine
tacos os
Styled system for Tacos UI
React component for Tacos UI
tacos dt animation
Panda CSS Preset for Tacos UI
tacos-driver
Lets you make tacos.
The default blueprint for Embroider v2 addons.
no tacos as variable name
tacos scene engine
A hubot script for giving free tacos
active-inflector goal is to be rails compatible.
Jacklistens Survey: Are you a fan of Jack in the Box’s delicious tacos? You should participate in an online jacklistens survey to get two free tacos on your next visit to one of the fast-food chain’s restaurants. You can claim your free tacos from any of
vxios的ts版本 支持自定义传入
A React component that makes it rain tacos.
Build system infrastructure on top of picante
TACO (Trajectory and Compressed Observables) Format for molecular dynamics data
Tool to automatically download and decrypt 64 bits iOS firmware images.
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.
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.
Fire in the disco. Fire in the ... taco bell.
A command line driven issue tracking system based on a JSON (text) file back-end
A simple gem to fulfill your taco wishes.
Adds #taco_tuesday? methods to Ruby's Date and Time classes. Cause Tacos
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.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.