Saltar al contenido principal
buildradar
Tema · lean

lean

Repositorios de código abierto monitorizados etiquetados con lean, ordenados por estrellas.

Repositorios
13
Estrellas totales
33.704
Estrellas de media
2593
Proporción
0,00%

Temas que aparecen con frecuencia junto a lean en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con lean.

No hay repositorios nuevos con este tema en los últimos 90 días.

  • leantime@Leantime

    Leantime es un sistema de gestión de proyectos enfocado en objetivos para no gestores de proyectos. Diseñado teniendo en cuenta el TDAH, el autismo y la dislexia.

    11.471+61Variación de estrellas de los últimos 7 días
  • lean4@leanprover

    Lenguaje de programación y demostrador de teoremas Lean 4

    8928+49Variación de estrellas de los últimos 7 días
  • YC-Killer@sahibzada-allahyar

    Una biblioteca de agentes de IA de nivel empresarial diseñada para democratizar la inteligencia artificial y ofrecer alternativas gratuitas y de código abierto a las startups sobrevaloradas de Y Combinator.

    2799+14Variación de estrellas de los últimos 7 días
  • carbon@crbnos

    Carbon es un ERP, MES y QMS de código abierto para la fabricación. Perfecto para ensamblaje complejo, fabricación por contrato, alto volumen y fabricación bajo pedido.

    2387+10Variación de estrellas de los últimos 7 días
  • Lista de recursos destacados sobre desarrollo de software ágil.

    1481+0Variación de estrellas de los últimos 7 días
  • LeanCopilot@lean-dojo

    LLMs como copilotos para la demostración de teoremas en Lean

    1317+4Variación de estrellas de los últimos 7 días
  • openwrt_Build@kenzok8

    Compilación múltiple de firmware con un solo clic

    964+0Variación de estrellas de los últimos 7 días
  • aeneas@AeneasVerif

    Una cadena de herramientas de verificación para programas en Rust.

    932+8Variación de estrellas de los últimos 7 días
  • LeanDojo@lean-dojo

    Herramienta para la extracción de datos e interacción programática con Lean.

    832+4Variación de estrellas de los últimos 7 días
  • physlib@leanprover-community

    Un proyecto para digitalizar resultados de física en Lean.

    716+9Variación de estrellas de los últimos 7 días
  • cslib@leanprover

    La biblioteca de ciencias de la computación Lean (CSLib)

    678+14Variación de estrellas de los últimos 7 días
  • MathlibExplorer@Crispher

    Visualización de la red de teorías matemáticas.

    639+1Variación de estrellas de los últimos 7 días
  • lean.nvim@Julian

    Soporte de Neovim para el demostrador de teoremas Lean.

    569+1Variación de estrellas de los últimos 7 días
← Volver a temas