§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: #dependent-types

Bend

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

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 · mitwirken

Beitragen, Issues melden, PRs öffnen.

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

Auf GitHub öffnen Sponsern