§01 · Projekte

Projekte.

Aktiv gepflegte Filament-Plugins, Laravel-Pakete und Open-Source-Starter-Kits. Alle MIT, mit Releases für v3, v4 und v5, sofern zutreffend.

254 Öffentliche Repositories 5920 Projekte im Katalog 198 Filament-Plugins 1313 Laravel-Pakete 8 Starter-Kits 7 Gepflegt 5 Täglich genutzt

§02 · katalog

Rolle:

Herkunft:

Beliebte Themen:

Gefiltert nach Thema: #proof

favorisiert Anwendung

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

§03 · mitwirken

Beitragen, Issues melden, PRs öffnen.

Alle Pakete haben CI, Pest-Tests und offene Issues mit dem Tag good first issue.