§01 · Proyectos

Proyectos.

Plugins Filament, paquetes Laravel y starter kits open source mantenidos activamente. Todo MIT, con releases para v3, v4 y v5 cuando aplique.

333 Repositorios públicos 6671 Proyectos en el catálogo 211 Plugins Filament 695 Paquetes Laravel 44 Starter Kits 7 Mantenidos 6 Uso diario

§02 · catálogo

Rol:

Origen:

Topics populares:

Filtrando por topic: #dependent-types

Bend

por star Aplicación

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

#bend #cuda #dependent-types #gpu

24925 Apache-2.0

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

#proof-assistant #coq #theorem-proving #dependent-types

5664 LGPL-2.1

§03 · contribuir

Contribuye, reporta issues, abre PRs.

Todos los paquetes tienen CI y tests Pest; las issues para principiantes están marcadas con good first issue.

Abrir en GitHub Patrocinar