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

254 Public repositories 5920 Projects in catalogue 198 Filament plugins 1313 Laravel packages 8 Starter Kits 7 Maintained 5 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

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

Contribute, report issues, open PRs.

All packages have CI, Pest tests and open issues tagged good first issue.

Open on GitHub Sponsor