Popular repositories Loading

1. docs docs Public

   MDX

2. spec-kit spec-kit Public

   Forked from github/spec-kit

   💫 Toolkit to help you get started with Spec-Driven Development

   Python

3. algoritmos-e-estrutura-de-dados algoritmos-e-estrutura-de-dados Public

   Projeto com função de estudar Algoritmos e Estruturas de Dados

   C

4. multi-assignment-problems-algorithm-kswap multi-assignment-problems-algorithm-kswap Public

   O Algoritmo Baseado em Problemas de Multi-Atribuição (MAPA) e suas Variantes em Escalonamento e Roteirização

   C

5. lean-mcp lean-mcp Public

   MCP server and client for Lean 4 + Mathlib formal theorem verification

   Python

6. data-structures-and-algorithms data-structures-and-algorithms Public

   Lib para kotlin Nativo das principasi estruturas de dados e algoritmos fundamentais

   Kotlin