Skip to content

@carthage-software Carthage Software

All

    Repositories list

    24 repositories

    • whim

      Public
      The Whim Programming Language
      programming-languagephpexperiment
      programming-languagephpexperimentcompilerresearch-project
      Rust
      •
      Apache License 2.0
      •2•98•0•0•Updated Oct 3, 2026Oct 3, 2026

    • mago

      Public
      Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
      phpparserformatter
      phpparserformatterlinterstatic-analysiscoding-standardslexercode-styletype-checkercode-analyzer
      Rust
      •
      Apache License 2.0
      •191•3.5k•82•16•Updated Oct 3, 2026Oct 3, 2026

    • cel-php

      Public
      Fast, portable, non-Turing complete expression evaluation (PHP)
      PHP
      •
      MIT License
      •3•75•0•1•Updated Oct 2, 2026Oct 2, 2026

    • whim-zed

      Public
      Language support for Whim in Zed.
      Tree-sitter Query
      •
      MIT License
      •0•0•0•0•Updated Sep 27, 2026Sep 27, 2026

    • zed-extensions

      Public
      Extensions for the Zed editor
      JavaScript
      •2.6k•0•0•0•Updated Sep 27, 2026Sep 27, 2026

    • tree-sitter-whim

      Public
      Whim grammar for tree-sitter
      JavaScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 26, 2026Sep 26, 2026

    • ext-typst-stubs

      Public
      IDE and static-analysis stubs for ext-typst, the Typst typesetting engine for PHP.
      PHP
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 19, 2026Sep 19, 2026

    • ext-typst

      Public
      A PHP extension that embeds the Typst typesetting engine.
      PHP
      •
      Apache License 2.0
      •2•23•2•0•Updated Sep 19, 2026Sep 19, 2026

    • giscus

      Public
      Apache License 2.0
      •0•0•0•0•Updated Sep 18, 2026Sep 18, 2026

    • mago-extension-template

      Public template
      A template repository for Mago extensions using the PHP SDK
      linterstatic-analysismago
      linterstatic-analysismagomago-extension
      PHP
      •
      MIT License
      •0•4•0•0•Updated Aug 18, 2026Aug 18, 2026

    • hanno

      Public
      0•0•0•0•Updated Jun 21, 2026Jun 21, 2026

    • himilco

      Public
      0•0•0•0•Updated Jun 21, 2026Jun 21, 2026

    • php-src

      Public
      The PHP Interpreter
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •8.2k•0•0•1•Updated Jun 20, 2026Jun 20, 2026

    • php-doc-en

      Public
      English PHP documentation
      XML
      •893•0•0•0•Updated Jun 19, 2026Jun 19, 2026

    • byrsa

      Public
      0•1•0•0•Updated Jun 13, 2026Jun 13, 2026

    • suffete

      Public
      Suffete: the Carthaginian high magistrate, the judge of the city. The thing that decides whether what stands before it is sound.
      phpstatic-analysistype-theory
      phpstatic-analysistype-theorytype-systemtype-checker
      Rust
      •
      Apache License 2.0
      •0•14•1•0•Updated Jun 8, 2026Jun 8, 2026

    • php-toolchain-benchmarks

      Public
      Reproducible benchmark suite for PHP formatters, linters, and static analyzers.
      PHP
      •
      MIT License
      •4•3•2•0•Updated Apr 15, 2026Apr 15, 2026

    • symfony

      Public
      The Symfony PHP framework
      PHP
      •
      MIT License
      •9.9k•0•0•0•Updated Mar 28, 2026Mar 28, 2026

    • phpbench

      Public
      PHP Benchmarking framework
      PHP
      •
      MIT License
      •133•1•0•0•Updated Mar 4, 2026Mar 4, 2026

    • hhvm

      Public
      A virtual machine for executing programs written in Hack.
      C++
      •
      Other
      •3.1k•0•0•0•Updated Jan 3, 2026Jan 3, 2026

    • notebook

      Public
      A learning resource for building clean, scalable, and maintainable applications with Symfony 7. Features branches for Service Layer, and CQRS, and DDD architect…
      PHP
      •
      MIT License
      •0•7•0•2•Updated Oct 9, 2025Oct 9, 2025

    • elissa-bundle

      Public archive
      Elissa Bundle by Carthage brings out-of-the-box PSR-7 and PSR-15 support to your Symfony project.
      symfonysymfony-bundlepsr-7
      symfonysymfony-bundlepsr-7psr-15zero-config
      PHP
      •
      MIT License
      •0•24•0•0•Updated Oct 9, 2025Oct 9, 2025

    • infection

      Public
      PHP Mutation Testing library
      PHP
      •
      BSD 3-Clause "New" or "Revised" License
      •194•0•0•0•Updated Sep 14, 2025Sep 14, 2025

    • phpup

      Public
      Cross-Platform PHP version manager written in rust :crab:
      Rust
      •
      GNU General Public License v3.0
      •2•3•0•0•Updated Nov 5, 2022Nov 5, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.