|
|
@@ -841,16 +841,12 @@ Libraries to help manage database schemas and migrations.
|
|
841
|
841
|
* [Takeout](https://github.com/tighten/takeout) - A Docker-based development-only dependency manager.
|
|
842
|
842
|
* [Vagrant](https://www.vagrantup.com/) - A portable development environment utility.
|
|
843
|
843
|
|
|
844
|
|
-### Virtual Machines
|
|
845
|
|
-*Alternative PHP virtual machines.*
|
|
|
844
|
+### Virtual Machines and Compilers
|
|
|
845
|
+*Alternative PHP virtual machines and compilers to translate PHP into other programming languages.*
|
|
846
|
846
|
|
|
847
|
847
|
* [Hack](https://hacklang.org/) - A programming language for HHVM.
|
|
848
|
848
|
* [HHVM](https://github.com/facebook/hhvm) - A Virtual Machine, Runtime and JIT for PHP by Facebook.
|
|
849
|
849
|
* [PeachPie](https://github.com/peachpiecompiler/peachpie) - PHP compiler and runtime for .NET and .NET Core.
|
|
850
|
|
-
|
|
851
|
|
-### Compilers
|
|
852
|
|
-*Compilers to translate PHP into other programming languages.*
|
|
853
|
|
-
|
|
854
|
850
|
* [KPHP](https://github.com/VKCOM/kphp) - A compiler that translates PHP to C++.
|
|
855
|
851
|
|
|
856
|
852
|
### Text Editors and IDEs
|