a infinite extensional component library
a infinite extensional component library
an extensional components lib for devui
Client library for pomagma inference engine
Web based Realtime Communication Platform
A cli for adding and removing file extensions based on file inspection
SDK Rust para extensiones Mezzala — macros para definir extensiones WASM con mínimo boilerplate
Herramienta CLI para organizar automáticamente archivos por extensión con Feature-Based Architecture.
Un entorno de desarrollo para crear soluciones web modulares, extensibles y configurables.
Tema de PageTop que muestra esquemáticamente la composición de las páginas HTML
Tema de PageTop basado en Bootstrap para aplicar su catálogo de estilos y componentes flexibles.
A cocategory enumeration library based on path semantics
Cargo subcommand that discharges verified-anchor proof obligations via Lean.
Abstract Syntax Tree types for Datalog programs
Core contracts for the IGNI Engine input system. Defines traits for raw input, processing layers, and mapping layers with zero implementation.
A Rust implementation of propagator networks for constraint propagation and bidirectional computation
Generate Datalog facts from Rust source code