Create really fast and easily general settings for your Laravel Filament project.
A robust ticketing system for Laravel Filament Php
An open source Project management tool based on Laravel and Filament
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.
TypeScript/JavaScript SDK for Gemini and Vertex AI.
Library of 40+ independent Lua modules improving Neovim experience with minimal effort
Generic log syntax highlighting and log filetype management for Neovim
A design system built by IBM
NetBox Floorplan plugin
Store execution plans like pg_stat_statements does for queries.
Natural Gradient Boosting for Probabilistic Prediction