§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.

254 Repositorios públicos 5920 Proyectos en el catálogo 198 Plugins Filament 1313 Paquetes Laravel 8 Starter Kits 7 Mantenidos 5 Uso diario

§02 · catálogo

Rol:

Origen:

Topics populares:

Filtrando por topic: #theorem-proving

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

21965 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

5580 LGPL-2.1

§03 · contribuir

Contribuye, reporta issues, abre PRs.

Todos los paquetes tienen CI, tests Pest e issues abiertas marcadas con good first issue.

Abrir en GitHub Patrocinar