Medial / Scale Axis Transform (MAT/SAT) Library.
zero-dependency 2d collision detection for circles, polygons, and points (with SAT and BVH)
A 2D collision checker for modern games.
Library for performing 2D collision detection
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
Propositional proof system
Crea el XML, Firmar Y Sella comprobantes fiscales digitales en Mexico (CFDI)
HSL to RGB color conversion in GLSL
Modulo para generar, firmar, sellar y timbrar comprobantes fiscales digitales en Mexico (CFDI)
Libreria para crear y sellar xml cfdi V3.3
General satisfiability solver for logic problems
Collision detection for circles, polygons, and points
Words used in common vocabulary tests such as TOEFL and SAT
Library of React components for telepresence projects