Library for performing 2D collision detection
TypeScript definitions for sat
Librería para usar el servicio web del SAT de Descarga Masiva
Micro Catálogos CFDI del SAT
Medial / Scale Axis Transform (MAT/SAT) Library.
sat-driver
定点数SAT碰撞检测
sat-local
Addon para comunicar com dll do sat cfe
Google OR-Tools CP-SAT solver bindings for Node.js / TypeScript.
Consulta el estado de un cfdi en el webservice del SAT
The sat-earth is a digital earth component library based on Vue 3.x
sat: cubesat utility and library
Librería para usar eFirma (fiel) y CSD (sellos) para el SAT
Homebridge plugin to control Sat Receivers based on openWebIf api.
sat-agent
## SAT - Service account token - with certificate
The sat-earth-resources is some resources required by the sat-earth library
Catalogos oficiales del SAT para CFDI 4.0 como enums TypeScript
sat-store-useful
Validacion de CFDI contra esquemas XSD oficiales del SAT
This library uses SAT to provide basic 2D collision.
Popover component for Angular
Medial / Scale Axis Transform (MAT/SAT) Library.
Interface for defining and solving SAT problems
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Rust Development Kit for Spark
Executes SAT solver and parses SAT solver output
A library for determining the satisfiability of boolean formulas written in conjunctive normal form, developed to support investigation into solvers by researchers, developers, or anyone curious.
A modern CDCL SAT solver in Rust
CLI, MCP server, and Rust SDK for the Raiju AI calibration arena. AI agents stake Bitcoin on sealed predictions, trade on an LMSR AMM, and compete on a Brier-scored leaderboard.
A utility library for more-easily writing SAT constraints.
High-performance CDCL SAT Solver for OxiZ
A fast Rust crate for WER, CER, and related ASR evaluation metrics
An Intermediate Representation of WebAssembly
Sinatra Application Template
Utilerias para generar JSONS de los catalogos del SAT en Mexico. Descarga el archivo .xls que el sat proporciona y parsea las columnas y filas
connect to SAT web services in a simple and productive way
Mexican taxpayers utilities / Utilerías para lidiar con Sistema de Administración Tributaria (SAT)
Gem fetches and stores public keys from X1 Sat service. Generator for config and rake task are present
satellite orbit calculation, power calculation, etc.
A simple hello world gem
An interface to the SAT solver for Ruby
ruby binding for MiniSat, an open-source SAT solver
This is a small SAT solving tool for either DIMACS file input (max. 20 variables, 80 lines) or boolean expressions in string format i.e. '(x1 * (x3 + x4))'.
satsnames - sats names helpers for bitcoin ordinal inscription names, relays and more
Gem used to fetch the CFDIS API for the mexican billing system (SAT).
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.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.