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,906
Organizations
3,313
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
394
Organizations
54
Software value
$7.2M
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Contributors
162
Organizations
34
Software value
$9.2M
ACL2
ACL2 System and Books as Maintained by the Community
This project hasn't been onboarded to LFX Insights.
Boogie
Boogie
This project hasn't been onboarded to LFX Insights.
CakeML
CakeML: A Verified Implementation of ML
This project hasn't been onboarded to LFX Insights.
eslint-core-js-linter
Find and fix problems in your JavaScript code.
This project hasn't been onboarded to LFX Insights.