palemorrow/rumus
Librería
¿Es de fiar?
Ten cuidado con este.
Avisos Revisa
Muy nuevo: se creó hace 6 días. Espera un poco antes de instalarlo.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hace 6 días.
Licencia Cuidado
Sin licencia: legalmente no puedes reutilizar el código, salvo que el README diga otra cosa.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
Qué es
Un motor de expresiones regulares escrito en Agda que decide la pertenencia y la equivalencia de lenguajes mediante derivadas de Brzozowski. Cada decisión incluye una prueba o una refutación, y el proyecto incluye un comando trace que muestra las expresiones residuales de una…
Para quién es
Investigadores en métodos formales y desarrolladores de Agda que estudian coincidencia de expresiones regulares verificada y equivalencia de lenguajes
Cómo usarlo
Pide a tu IA que lo instale
Pega esto en Claude, ChatGPT o tu asistente de programación.
Ayúdame a instalar y configurar palemorrow/rumus en mi proyecto. Sigue su README: https://github.com/palemorrow/rumus. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
Recibe alertas de repos como este
Te escribimos cuando repos como este empiecen a subir. Gratis, una vez por semana, solo lo que encaja.
20.103 repos de GitHub vigilados y ordenados cada hora. Cifras a 25 de octubre de 2026.
Qué te llega: un email los lunes con los repos que encajan, nunca más. Mira el de la semana pasada. Privacidad
Para quien mantiene el repo
Pon esta insignia en tu README. Muestra el puesto del repo en el radar, se actualiza cada hora y enlaza a esta página.
[](https://repoalerts.com/repo/palemorrow/rumus?ref=badge)Repos parecidos
- zilvestro/grammai
Extensión para Chrome que revisa la ortografía y la gramática del inglés, el alemán y el rumano sin conexión, con correcciones resaltadas en el propio texto. Las reescrituras y la traducción opcionale
- BaruqueRodrigues/llm-legislativo
Construye un corpus amplio de documentos legislativos federales brasileños a partir de los archivos de la Cámara de Diputados y del Senado, con deduplicación y particiones de entrenamiento y prueba po
- xyz-rafael-xyz/roguard-child-safety
Un conjunto de herramientas en Python para revisiones estructuradas de seguridad infantil en textos en rumano y ucraniano, con un modelo de revisión local, propuestas de revisión sensibles a la conver
- NVIDIA-Omniverse/usd-brep
Biblioteca independiente en C++ y Python para modelado de sólidos por representación de frontera (BRep) basada en NURBS, con integración en USD. El README describe la configuración de compilación, las
- nothinx/naskah-id
Skill para agentes de IA que te ayuda a redactar y revisar textos académicos en indonesio, como artículos de revista, tesis, propuestas de subvención e informes de investigación. Sigue la ortografía E
- aardappel/goose
Un lenguaje de programación de sistemas con sintaxis parecida a C y Rust que almacena todos los valores dinámicos en línea sobre pilas de datos gestionadas por el compilador, en lugar de en un montón,