|
|
@@ -878,12 +878,13 @@ Libraries to help manage database schemas and migrations.
|
|
878
|
878
|
* [Takeout](https://github.com/tighten/takeout) - A Docker-based development-only dependency manager.
|
|
879
|
879
|
* [Vagrant](https://www.vagrantup.com/) - A portable development environment utility.
|
|
880
|
880
|
|
|
881
|
|
-### Virtual Machines
|
|
882
|
|
-*Alternative PHP virtual machines.*
|
|
|
881
|
+### Virtual Machines and Compilers
|
|
|
882
|
+*Alternative PHP virtual machines and compilers.*
|
|
883
|
883
|
|
|
884
|
884
|
* [Hack](https://hacklang.org/) - A programming language for HHVM.
|
|
885
|
885
|
* [HHVM](https://github.com/facebook/hhvm) - A Virtual Machine, Runtime and JIT for PHP by Facebook.
|
|
886
|
886
|
* [PeachPie](https://github.com/peachpiecompiler/peachpie) - PHP compiler and runtime for .NET and .NET Core.
|
|
|
887
|
+* [KPHP](https://github.com/VKCOM/kphp) - A compiler that translates PHP to C++ and runtime for C++.
|
|
887
|
888
|
|
|
888
|
889
|
### Text Editors and IDEs
|
|
889
|
890
|
*Text Editors and Integrated Development Environments (IDE) with support for PHP.*
|