10 projects
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
16,993
Organizations
3,375
Software value
$67M
K Framework
The K Framework is a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined using configurations, computations, and rules. It allows formal specification of language semantics and enables automatic generation of parsers, interpreters, compilers, and verification tools from language definitions.
Contributors
395
Organizations
57
Software value
$7.2M
Boogie
Boogie
Contributors
283
Organizations
53
Software value
$3M
CakeML
CakeML: A Verified Implementation of ML
Contributors
233
Organizations
27
Software value
$26M
ACL2
ACL2 System and Books as Maintained by the Community
Contributors
220
Organizations
20
Software value
$956M
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Contributors
165
Organizations
36
Software value
$9.4M
eslint-core-js-linter
Find and fix problems in your JavaScript code.
This project hasn't been onboarded to LFX Insights.