Meet us in Atlanta for KubeCon + CloudNativeCon North America · Nov 10-13 REGISTER TODAY

Search projects, repositories...

⇧+K

Language Semantics Frameworks

Frameworks for defining, analyzing, and executing formal semantics of programming languages; these tools help generate interpreters, compilers, and enable formal analysis based on language semantics.

10 projects

13,113 contributors

$65M

Most contributors

The Symfony PHP Framework

Symfony is a PHP web application framework designed for building robust, scalable, and maintainable web applications using reusable components and a structured MVC architecture. It’s widely used for enterprise-level projects and forms the foundation of many other PHP platforms, including Laravel and Drupal.

Contributors

13,113

Organizations

3,152

Software value

$65M