🐘🎯 Hexagonal Architecture + DDD + CQRS in PHP using Symfony 7

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 environmen…

TypeScript API for Warcraft III custom maps.

A template to code in TypeScript for Warcraft III maps.

Community plugin to add features to the graph view.

Link types for Obsidian graph view.

A flexible and feature-complete Redis/Valkey client for PHP.

A C++ Algorithmic Differentiation Package: Home Page

Lightweight, general, scalable C++ library for finite element methods

A curated list of awesome mathematics resources

MacOS inside a Docker container.

Windows inside a Docker container.

Open Source Identity and Access Management For Modern Applications and Services

Fork of GitHub Desktop to support various Linux distributions

Powerful data objects for Laravel

Workflow for AI Agents enables automated conversion of CAD files (such as `.rvt`, `.ifc`, `.dwg`) using command-line converters on a local Windows machine

Laravel best practices

Loads environment variables from `.env` to `getenv()`, `$_ENV` and `$_SERVER` automagically.

</> htmx - high power tools for HTML

MODX Revolution - Content Management Framework

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Бот, для удобного использования дневника и повышения успеваемости учащихся.

Creates an HTML-report with analysis of commit statistics

AdonisJS is a TypeScript-first web framework for building web apps and API servers. It comes with support for testing, modern tooling, an ecosystem of official packages, and more.

🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable, and developer-first.

Example project implementing simple shop using Yii 2.0

A tool to automatically fix PHP Coding Standards issues

Documentation Generator for PHP