rivet

Rivet fork for usage in heavy-ion systems

Apache Rivet mode for Emacs

Automate Laravel development with AI-driven code generation and PHPDoc support.

An accessible expand-and-collapse widget for Rivet

Bundle of rivet UI things that are useful to lms-canvas LTI tools

A python program to Design Longitudinal Butt Joint and Circumferential Lap Joint.

A boilerplate for developing Rivet add-ons

Contract-first APIs in TypeScript: write a contract as plain types, generate OpenAPI 3.1 + a typed client, serve it with Hono

Create and manage vocabulary lists.

Particle level selections for ttW and ttZ. AnalysisTop based

An accessible switch component for Rivet

Eclipse-score persistency::kvs through the full pulseengine stack — rivet typed artifacts + spar AADL + WIT contract + witness MC/DC harness + sigil release manifest + artifact-driven verification gate. Not affiliated with Eclipse Foundation.

A DKMS package for easy use of the Intel Killer E3100/U USB 2.5 GbE

Eclipse S-CORE typed-traceability playground — 2985 sphinx-needs artifacts converted to rivet typed YAML, with falsification oracle and starter variant model. Not affiliated with the Eclipse Foundation.