§01 · Projects

Projects.

Filament plugins, Laravel packages and open source starter kits actively maintained. All MIT, with releases for v3, v4 and v5 where applicable.

333 Public repositories 6671 Projects in catalogue 211 Filament plugins 695 Laravel packages 44 Starter Kits 7 Maintained 6 Daily drivers

§02 · catalogue

Role:

Origin:

Bend

starred Application

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

Contribute, report issues, open PRs.

All packages have CI and Pest tests; beginner-friendly issues are tagged good first issue.

Open on GitHub Sponsor