theorem-labs/rocq-linux-process-semantics
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
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 hoy.
Licencia Bien
MIT: puedes usarlo gratis, también en un producto comercial. Conserva el aviso de licencia.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
De la descripción en GitHub
A Rocq model of a Linux process that runs a RISC-V binary
Todavía no hemos escrito la ficha de este repo. La tendrá cuando entre en lo alto del radar.
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 theorem-labs/rocq-linux-process-semantics en mi proyecto. Sigue su README: https://github.com/theorem-labs/rocq-linux-process-semantics. 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 algo de Modelos e inferencia empiece a subir. Gratis, una vez por semana, solo lo que encaja.
20.137 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/theorem-labs/rocq-linux-process-semantics?ref=badge)Repos parecidos
- deepseek-ai/DeepInfer
Framework de inferencia para servir modelos DeepSeek a gran escala, publicado como versión de inferencia offline. Incluye kernels optimizados, paralelismo de atención y MoE, decodificación especulativ
- routerhubSI/uncensored-ai-api
Pasarela alojada que ofrece un único endpoint compatible con OpenAI y Anthropic y una sola clave de API para modelos Claude, GPT, Gemini, Grok, DeepSeek, GLM y Qwen, incluidas variantes sin censura y
- routerhubSI/glm-5.3-abliterated
Guía sobre variantes del modelo GLM 5.3 (etiquetadas como abliterated y uncensored) a las que se accede mediante la pasarela de API RouterHub. Incluye un catálogo de 35 archivos de prompts agrupados p
- SoMarkAI/OXR
Es un modelo de análisis de documentos de código abierto que convierte PDF e imágenes de documentos en Markdown o JSON con coordenadas de maquetación. Reconoce 13 tipos de elementos, como tablas, fórm
- deepseek-ai/deepseek-recipe
Un conjunto de bibliotecas en Rust y enlaces para Python que convierten solicitudes de las API Messages, Chat Completions y Responses en un formato común de conversación, la renderizan en prompts de l
- deepopen-com/deepopen
非自回归System 1决策引擎，专为结构化类型决策场景设计 DeepOpen Multilingual, non-autoregressive System 1 decision engine.